Filters








232 Hits in 3.0 sec

An Executable Semantics of the SystemC UML Profile [chapter]

Elvinia Riccobene, Patrizia Scandurra
2010 Lecture Notes in Computer Science  
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]

Yves Vanderperren, Wolfgang Mueller, Da He, Fabian Mischkalla, Wim Dehaene
2012 Design Technology for Heterogeneous Embedded Systems  
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 SystemCUML 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]

Pablo Peil, Fernando Herrera, Eugenio Villar
2012 Embedded Systems - Theory and Design Methodology  
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

W. Mueller, A. Rosti, S. Bocchio, E. Riccobene, P. Scandurra, W. Dehaene, Y. Vanderperren, Leuven Ku
2006 Computer-Aided Design (ICCAD), IEEE International Conference on  
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

Ludovic Apvrille, Waseem Muhammad, Rabea Ameur-Boulifa, Sophie Coudert, Renaud Pacalet
2006 2006 13th IEEE International Conference on Electronics, Circuits and Systems  
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

A. Gargantini, E. Riccobene, P. Scandurra, A. Carioni
2008 2008 Forum on Specification, Verification and Design Languages  
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

Pablo Penil, Pablo Sanchez, David de la Fuente, Jesus Barba, Juan Carlos Lopez
2013 2013 Euromicro Conference on Digital System Design  
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)

Fateh Boutekkouk, Mohammed Benmohammed, Sebastien Bilavarn, Michel Auguin
2009 Journal of Object Technology  
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

Elvinia Riccobene, Patrizia Scandurra
2009 Innovations in Systems and Software Engineering  
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

E. Riccobene, P. Scandurra, A. Rosti, S. Bocchio
2006 Proceedings of the 43rd annual conference on Design automation - DAC '06  
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

E. Riccobene, P. Scandurra, A. Rosti, S. Bocchio
2006 Proceedings - Design Automation Conference  
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

E. Riccobene, P. Scandurra, A. Rosti, S. Bocchio
2005 Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05  
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

Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini
2009 ACM Transactions on Embedded Computing Systems  
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

Khaled Allem, El-Bay Bourennane, Youcef Khelfaoui, João Cardoso
2021 International Journal of Reconfigurable Computing  
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

Fabian Mischkalla, Da He, Wolfgang Mueller
2010 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)  
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