NDLI: Generating heterogeneous executable specifications in SystemC from UML/MARTE models

Content Provider	Springer Nature Link
Author	Peñil, P. Medina, J. Posadas, H. Villar, E.
Copyright Year	2009
Abstract	Modeling and analysis of real-time embedded system is becoming an important area of research nowadays. In this context, the UML/MARTE profile has been introduced to support the specification, design, and verification stages in the development process. It provides a wide set of facilities to capture the information required in the refinement steps throughout the design flow. To carry out the actions involved in these design steps, MARTE-based tools and methodologies are required. This paper presents a methodology to automatically generate SystemC heterogeneous executable specifications from generic MARTE models. To generate these specifications, the information included in the MARTE models is extracted to discover the system structure and hierarchy. A subset of the concurrency and communication features of the MARTE profile is used for this purpose. Then, automatic generation of the executable specification is possible. The code implementing the corresponding behavior can be easily integrated into the executable model. This design methodology proposes a refinement flow in order to perform the design steps before deciding the final system implementation.
Starting Page	65
Ending Page	71
Page Count	7
File Format	PDF
ISSN	16145046
Journal	Innovations in Systems and Software Engineering
Volume Number	6
Issue Number	1-2
e-ISSN	16145054
Language	English
Publisher	Springer-Verlag
Publisher Date	2009-12-22
Publisher Place	London
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	UML MARTE SystemC Heterogeneity Models of computation and communication Computer Applications Computing Methodologies Software Engineering
Content Type	Text
Resource Type	Article
Subject	Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models

Towards model checking executable UML specifications in mCRL2

Clock constraint specification language: specifying clock constraints with UML/MARTE

Incremental development of UML specifications using operation refinements

Formal methods integration in software engineering

Aspect-oriented design and implementation of context-aware pervasive applications

The clock constraint specification language for building timed causality models : Application to synchronous data flow graphs

Synthesis of simulation and implementation code for OpenMAX multimedia heterogeneous systems from UML/MARTE models

A survey of UML applications in mechatronic systems

Generating heterogeneous executable specifications in SystemC from UML/MARTE models

Similar Documents

Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models

Towards model checking executable UML specifications in mCRL2

Clock constraint specification language: specifying clock constraints with UML/MARTE

Incremental development of UML specifications using operation refinements

Formal methods integration in software engineering

Aspect-oriented design and implementation of context-aware pervasive applications

The clock constraint specification language for building timed causality models : Application to synchronous data flow graphs

Synthesis of simulation and implementation code for OpenMAX multimedia heterogeneous systems from UML/MARTE models

A survey of UML applications in mechatronic systems

Generating heterogeneous executable specifications in SystemC from UML/MARTE models