A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
An Executable Semantics of the SystemC UML Profile
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
This paper provides a precise and executable semantics of the SystemC Process State Machines that are an extension of the UML state machines and are part of the SystemC UML profile to model the reactive ...
The SystemC UML profile is a modeling language designed to lift features and abstractions of the SystemC/C++ class library to the UML level with the aim of improving the current industrial System-on-Chip ...
Conclusions This paper presents an executable formal semantics for the SCP state machines of the SystemC UML profile by exploiting the meta-hooking approach of the ASM-based semantic framework in [11] ...
doi:10.1007/978-3-642-11811-1_7
fatcat:wwgnsfs5zvfmpguda77gtgfnxy
Extending UML for Electronic Systems Design: A Code Generation Perspective
[chapter]
2012
Design Technology for Heterogeneous Embedded Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
UML can have its semantics clarified by customizing it towards an unambiguous executable language, i.e., modeling constructs of the target language are defined within UML, which inherits the execution ...
The SATURN Profiles The SATURN profile is based on SysML and consists of a set of UML profiles: • UML profile for synthesizable SystemC • UML profile for Agility • UML profile for C/C++ and external models ...
The following example shows an SDL excerpt for generating of SystemC code from SystemC stereotyped objects. ...
doi:10.1007/978-94-007-1125-9_2
fatcat:nkko7sivffe2pmtqg3s3sp52hy
Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models
[chapter]
2012
Embedded Systems - Theory and Design Methodology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
As with any UML profile, MARTE is not associated with any explicit execution semantics. ...
Several research lines have tackled the problem of providing an executive semantics for UML. ...
doi:10.5772/36918
fatcat:gyt3ach3bbbjdjy75smqml5plq
UML for ESL Design - Basic Principles, Tools, and Applications
2006
Computer-Aided Design (ICCAD), IEEE International Conference on
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Using a dedicated profile providing support for SystemC in UML, and a SystemC wrapper for the SimIt instruction set simulator of a StrongARM, an executable model of the complete architecture is generated ...
The physical layer of an 802.11a system is used as an application example. ...
Inside the states (see Figure 10 ) it is possible to define directly any SystemC statement by an extended semantics of UML actions. ...
doi:10.1109/iccad.2006.320068
fatcat:wefxiy7kujgwtkftmyi554sij4
A UML-based Environment for System Design Space Exploration
2006
2006 13th IEEE International Conference on Electronics, Circuits and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Thus, relying on SystemC or LOTOS tools the profile allows fast simulation or formal verification techniques to be used over the UML modeling. A toolkit supporting this profile has been implemented. ...
The overall approach is experimented for the design of a telecommunication system. ...
Thus, they introduce an environment making it possible to model all SystemC components in UML, relying on the SPT profile defined at the OMG, and the profile defined in the RoseRT Toolkit. ...
doi:10.1109/icecs.2006.379694
dblp:conf/icecsys/ApvrilleWACP06
fatcat:ogsfviqyxrftvf5b2ngc5wurmm
Scenario-based validation of embedded systems
2008
2008 Forum on Specification, Verification and Design Languages
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This scenario-based approach complements an existing model-driven design methodology for embedded systems based on the Sys-temC UML profile. ...
It allows the designer to functionally validate system components from SystemC UML designs early at high levels of abstraction and without requiring strong skills and expertise on formal methods. ...
To this goal, we took inspiration from the ASM formalization of the SystemC 2.0 simulation semantics in [18] to define a precise and executable semantics of the SystemC UML profile and, in particular ...
doi:10.1109/fdl.2008.4641444
dblp:conf/fdl/GargantiniRSC08
fatcat:f3dpsufljbbkxby32mxrq4463i
UML/MARTE Methodology for Automatic SystemC Code Generation of Openmax Multimedia Applications
2013
2013 Euromicro Conference on Digital System Design
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
and a framework which automates the extraction of the corresponding SystemC executable specification, enabling the execution and the verification of the multimedia system. ...
This paper presents a methodology which provides a UML/MARTE methodology for the specification of multimedia systems according to the OpenMAX specification requirements for system level-design activities ...
In order to provide specific semantics for UML, profiles have been developed. ...
doi:10.1109/dsd.2013.144
dblp:conf/dsd/PenilSFBL13
fatcat:zw4gfjkaw5ghjisap23cgblqq4
UML2.0 Profiles for Embedded Systems and Systems On a Chip (SOCs)
2009
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Consequently a proper tuning of UML to the specificities of such systems has became mandatory. To meet this requirement, many UML profiles have been proposed by both academia and industry. ...
), which is one of the basic principles of DIPLODOCUS conflicts or not with formal semantics of LOTOS. ...
The UML-SystemC profile captures both the structural and the behavioral features of the SystemC language and allows high level modelling of SOCs with straightforward translation to SystemC code. ...
doi:10.5381/jot.2009.8.1.a1
fatcat:coirvylxd5amzmiwtz6ymxi6l4
Model transformations in the UPES/UPSoC development process for embedded systems
2009
Innovations in Systems and Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Modeling languages, like profiles of the Unified Modeling Language (UML), are increasingly being adopted for specific domains of interest to alleviate the complexity of platforms and express domain concepts ...
They have been defined to foster in a systematic and seamless manner a model-based design methodology based on the UML2 and UML profiles for the C/SystemC programming languages, which we developed to improve ...
Each model is here intended as an instance of the SystemC UML profile metamodel, and therefore is an implementation model with a fixed action semantics. ...
doi:10.1007/s11334-009-0080-9
fatcat:kubeojzn6remffzih7vbjwkadu
A model-driven design environment for embedded systems
2006
Proceedings of the 43rd annual conference on Design automation - DAC '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper presents a prototype environment for HW/SW co-design of embedded systems based on the Unified Modeling Language (UML) and SystemC. ...
The environment supports a model-driven SoC design methodology which provides a graphical high-level representation of hardware and software components, and allows either C/C++/SystemC code generation ...
We developed an EA add-in in Visual Basic 6.0 which exploits the added semantics in the profile definition to generate SystemC code from input models written in the Sys-temC UML profile. ...
doi:10.1145/1146909.1147141
dblp:conf/dac/RiccobeneSRB06
fatcat:y2ht4clxxnctjh2ji3unty36n4
A model-driven design environment for embedded systems
2006
Proceedings - Design Automation Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper presents a prototype environment for HW/SW co-design of embedded systems based on the Unified Modeling Language (UML) and SystemC. ...
The environment supports a model-driven SoC design methodology which provides a graphical high-level representation of hardware and software components, and allows either C/C++/SystemC code generation ...
We developed an EA add-in in Visual Basic 6.0 which exploits the added semantics in the profile definition to generate SystemC code from input models written in the Sys-temC UML profile. ...
doi:10.1109/dac.2006.229412
fatcat:nnm6vaanz5hyfkoamqs72x37aq
A UML 2.0 profile for SystemC
2005
Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
features) of the SystemC language to UML level. ...
In this paper we present a UML 2.0 profile for the SystemC language, which is a consistent set of modeling constructs designed to lift both structural and behavioral features (including events and time ...
In the following sections, we describe the most significant stereotypes of the SystemC core layer giving the semantics in an informal way. ...
doi:10.1145/1086228.1086254
dblp:conf/emsoft/RiccobeneSRB05
fatcat:xfxukldaxfg4pkea6s7jqpk6o4
SystemC/C-based model-driven design for embedded systems
2009
ACM Transactions on Embedded Computing Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The UML profiles for SystemC and multithread-C are the key points of this design methodology. ...
It involves the OMG standard unified modeling language (UML) 2.1.2 [UML 2008], UML profiles 1 for the multithread C and the SystemC languages [Gröetker et al. 2002] , and some other UML profiles related ...
All these approaches aim at obtaining a SystemC code that resembles the behavior of the UML model, whereas we extend the UML accordingly to the SystemC execution semantics. ...
doi:10.1145/1550987.1550993
fatcat:ikn2b5yenrf5xh5nxsakzvo5km
A Service-Oriented Component-Based Framework for Dynamic Reconfiguration Modeling Targeting SystemC/TLM
2021
International Journal of Reconfigurable Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Thus, this paper presents an MDE-based framework for DRSoCs design enabling the transformation of UML/MARTE specifications to SystemC/TLM implementation. ...
Since MARTE does not cover the common features of dynamic reconfiguration domain and service orientation concepts, new stereotypes are created by refinement to add missing capabilities to the profile. ...
Conflicts of Interest e authors declare that there are no conflicts of interest regarding the publication of this study. ...
doi:10.1155/2021/5584391
fatcat:okujjxplungfffx4z63t3kdsae
Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems
2010
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
For this, we extended the SysML UML profile by SystemC and synthesis capabilities. Two case studies demonstrate the applicability of our approach. ...
This paper presents an efficient approach to bridge this gap in the context of Systems-ona-Chip (SoC) design. ...
In our approach, we address the 1-to-1 relationship in order to define an efficient UML capture and a clear semantics for the later code generation. ...
doi:10.1109/date.2010.5456990
dblp:conf/date/MischkallaH010
fatcat:5w7a4ebo5ngwjgvlcwqjb7j3x4
« Previous
Showing results 1 — 15 out of 232 results