Filters








2,578 Hits in 5.7 sec

TEMPO

Rafik Henia, Laurent Rioux, Nicolas Sordon
2013 ACM SIGBED Review  
The growing complexity of applications, combined with constant quality and time-to-market constraints, creates new challenges for performance engineering practices in the area of real-time embedded systems  ...  Thus, a reliable performance prediction at early design stages is essential to guarantee that the designed system meets its timing requirements before time and resources are invested for the system implementation  ...  classical real time systems research and from the industrial scheduling analysis tools.  ... 
doi:10.1145/2518148.2518150 fatcat:f3gbmhljpre2ve3p2uzs73i5om

Controlling the Complexity of Hierarchical Scheduling Frameworks

Brandon Woolley, Susan Mengel
2021 Transdisciplinary Journal of Engineering & Science  
The Unified Modeling Language (UML) Modeling and Analysis of Real-Time and Embedded Systems (MARTE) Profile is the chosen unified modeling language of MBSE.  ...  A promising trend in the aerospace and defense industry is to employ Digital Engineering's Model-Based Systems Engineering (MBSE) to deal with the complexity of HSFs.  ...  To adapt the IN SysML patterns to accommodate the MARTE profile, we need to create an HSF overlay/metamodel with a MARTE component and stereotype mapping.  ... 
doi:10.22545/2021/00160 fatcat:tigjfmmxxngafeqzex3dzy3v5q

On Exploiting Energy-Aware Scheduling Algorithms for MDE-Based Design Space Exploration of MP2SoC

Manel Ammar, Mouna Baklouti, Maxime Pelcat, Karol Desnos, Mohamed Abid
2016 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP)  
To demonstrate the effectiveness of the proposed approach, we conducted experiments using the H.263 encoder application.  ...  This paper presents a Model Driven Engineering (MDE)-based energy-aware Design Space Exploration (DSE) approach allowing the designer to take the power consumption criterion into account early in the design  ...  These efforts use emerging power reduction techniques and try to adapt them for cluster-based systems.  ... 
doi:10.1109/pdp.2016.110 dblp:conf/pdp/AmmarBPDA16 fatcat:2kjcsbunfnhsnjf3anke6pl7fm

UML Profiles for Modeling Real-Time Communication Protocols

Barath Kumar, Juergen Jasperneite
2010 Journal of Object Technology  
The recently standarized OMG UML profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE) is discussed in section 7 and the paper ends with our conclusion in section 8.  ...  We review Rational UML profile UML-RT for designing realtime applications in section 6.  ...  Figure 12 : 12 Organizational Structure of MARTE Profile, based on [DTA+08] The MARTE profile is intended to replace the existing UML Profile for Schedulability, Performance and Time (SPT) [OMG05b] .The  ... 
doi:10.5381/jot.2010.9.2.a5 fatcat:6hwwgo7dwzdjvhrbnqsggl5xyi

Hardware Software Co-design for Automotive CPS using Architecture Analysis and Design Language [article]

Yuchen Zhou, John Baras, Shige Wang
2016 arXiv   pre-print
We demonstrate in this paper a method to link model based system design with real-time simulations and analysis of the architecture model.  ...  This allows hardware software co-design and thus early selection of hardware architecture.  ...  Acknowledgments The authors would like to thanks Joseph D'Ambrosio, Lei Rao, Rami I Debouk from General Motors, Electrical and Controls System Lab for the inspiring discussion on AADL and its tool OSATE  ... 
arXiv:1603.05069v1 fatcat:4xuqpdi6bvc5ld3yt7kbcxhwqa

A new modeling approach for IMA platform early validation

Michaël Lafaye, David Faura, Marc Gatti, Laurent Pautet
2010 Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - MOMPES '10  
This method aim at dimensioning the architecture according to the applications it has to process, and to achieve early platform validation.  ...  Model-based approaches are now mature enough to design embedded critical systems and perform architecture exploration.  ...  AADL [5] is, as MARTE, an ADL particularly adapted for software architecture description [6, 7] , enabling the modeling of ARINC 653 embedded real-time system [8] .  ... 
doi:10.1145/1865875.1865878 dblp:conf/mompes/LafayeFGP10 fatcat:kol4fq5rszdsxmcppq2kvxx6ou

Towards a combination of MARTE and ECOA

Mathieu Muzellec, Paul Vivot, Rob Vingerhoeds, Pierre de Saqui-Sannes
2021 2021 IEEE International Systems Conference (SysCon)  
Results of a preliminary study are presented both in terms of ECOA to MARTE translation and perspectives for real-time analysis of models.  ...  of annotations that serve as input for analysis tools.  ...  ACKNOWLEDGMENTS We strongly thank Mr Brice Hillen and Mrs Sylvie Schuller for their expert support on the understanding of the ECOA metamodel during this research project.  ... 
doi:10.1109/syscon48628.2021.9447085 fatcat:oowunahgl5fylitgz2364q6k5q

Improving the design flow for parallel and heterogeneous architectures running real-time applications: The PHARAON FP7 project

Héctor Posadas, Alejandro Nicolás, Pablo Peñil, Eugenio Villar, Florian Broekaert, Michel Bourdelles, Albert Cohen, Mihai T. Lazarescu, Luciano Lavagno, Andrei Terechko, Miguel Glassee, Manuel Prieto
2014 Microprocessors and microsystems  
reduce power consumption in a transparent manner for applications.  ...  The second objective of the project is to develop monitoring and control techniques in the middleware of the system capable to automatically adapt platform services to applications requirements and therefore  ...  Acknowledgments This work is being performed in the framework of the FP7-288307 project PHARAON.  ... 
doi:10.1016/j.micpro.2014.05.003 fatcat:6kbn3sgvkjglhgr6yjbdmhqkhu

The COMPLEX reference framework for HW/SW co-design and power management supporting platform-based design-space exploration

Kim Grüttner, Philipp A. Hartmann, Kai Hylla, Sven Rosinger, Wolfgang Nebel, Fernando Herrera, Eugenio Villar, Carlo Brandolese, William Fornaciari, Gianluca Palermo, Chantal Ykman-Couvreur, Davide Quaglia (+2 others)
2013 Microprocessors and microsystems  
We propose an efficient code annotation technique for timing and power properties enabling fast host execution as well as adaptive collection of power traces.  ...  In this paper, we discuss the design challenges of today's heterogeneous HW/SW systems regarding power and complexity, both for platform vendors as well as system integrators.  ...  For custom HW the used RT component library, and for communication resources scheduling policies for shared media have to be specified.  ... 
doi:10.1016/j.micpro.2013.09.001 fatcat:7a5ycc45m5h7nkjhxhe4u2j7am

UML&AADL '2007 grand challenges

Sébastien Gérard, Peter Feiler, Jean-Francois Rolland, Mamoun Filali, Mark-Oliver Reiser, Didier Delanote, Yolande Berbers, Laurent Pautet
2007 ACM SIGBED Review  
for developing real-time embedded systems.  ...  The purpose of this workshop was to gather people of both communities from UML (including its domain specific extensions, with a focus on MARTE) and AADL (including its annexes) in order to foster sharing  ...  Model-based analysis Finally, model-based analysis is the last main key point of MARTE.  ... 
doi:10.1145/1366546.1366547 fatcat:veblhmfqxfbb7jez3cika6mn7q

A Model-Based Framework for Developing Real-Time Safety Ada Systems [chapter]

Emilio Salazar, Alejandro Alonso, Miguel A. de Miguel, Juan A. de la Puente
2013 Lecture Notes in Computer Science  
The main differences between these toolsets and the framework presented here are: i) This framework uses up-to date industrial standards such as UML2 and MARTE, instead of ad-hoc adaptions of UML; ii)  ...  This paper describes an MDE framework for real-time systems with safety requirements. The framework is based on industry standards, such as UML 2.2, MARTE, and the Ada Ravenscar profile.  ...  We would like to acknowledge the financial support of the European Commission FP7 program and the Spanish national R+D+i plan as well as the collaboration with the partners in both projects.  ... 
doi:10.1007/978-3-642-38601-5_9 fatcat:noar3cbcfveddhh52jh3x5atd4

Towards a modeling and analysis environment for industrial IoT systems [article]

Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Alfonso Pierantonio
2021 arXiv   pre-print
CHESSIoT follows a multi-view, component-based modelling approach with a comprehensive way to perform event-based modelling on system components for code generation purposes employing an intermediate ThingML  ...  The early real-time schedulability analysis can help quantify to what extent the desired system's timing performance can eventually be achieved.  ...  CHESS is known for its success in modelling and analysis of industrial system engineering applications.  ... 
arXiv:2105.14136v2 fatcat:6f3t2nyue5a65mpioj5ojex35y

MARTE/CCSL for Modeling Cyber-Physical Systems [chapter]

Frédéric Mallet
2015 Formal Modeling and Verification of Cyber-Physical Systems  
Hence a legitimate question arises as whether MARTE can be used for CPS as well.  ...  The MARTE profile proposes a set of extensions to UML in a bid to allow for the modeling of real-time and embedded systems (RTES). Yet CPS are a wider class of systems than mere RTES.  ...  It proposes graphical notations to represent all aspects of a system from the early requirements to the deployment of software components, including design and analysis phases, structural and behavioral  ... 
doi:10.1007/978-3-658-09994-7_2 dblp:conf/syde/Mallet15 fatcat:ulea3v44brggfflio2h4pd6wfi

Modeling Hardware/Software Embedded Systems with UML/MARTE: A Single-Source Design Approach [chapter]

Fernando Herrera, Julio Medina, Eugenio Villar
2017 Handbook of Hardware/Software Codesign  
The standard Modeling and Analysis of Real-Time Embedded Systems (MARTE) profile provides syntactical and semantical extensions required for the modeling and HW/SW codesign of real-time and embedded systems  ...  Model-based design has shown to be a powerful approach for embedded software systems. The Unified Modeling Language (UML) provides a standard, graphically based formalism for capturing system models.  ...  We are thankful to the OFFIS team in CONTREX for their support and for all the documentation and material on their quadcopter implementation. This includes the quadcopter picture of the chapter.  ... 
doi:10.1007/978-94-017-7267-9_6 fatcat:nscnunf7fzcera2kzjg3dq67w4

MARTE based modeling approach for Partial Dynamic Reconfigurable FPGAs

Imran Rafiq Quadri, Samy Meftali, Jean-Luc Dekeyser
2008 2008 IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia  
In this paper we present a novel SoC co-design methodology based on Model Driven Engineering using the MARTE (Modeling and Analysis of Real-time and Embedded Systems) standard.  ...  The goal is to carry out modeling at a high abstraction level expressed in UML (Unified Modeling Language) and following transformations of these models, automatically generate the code necessary for FPGA  ...  MARTE [3] (Modeling and Analysis of Real-Time and Embedded Systems) is an industry standard of the Object Management Group (OMG) for model-driven development of embedded systems and for SoC co-design  ... 
doi:10.1109/estmed.2008.4696994 dblp:conf/estimedia/QuadriMD08 fatcat:7dxo2e57cvh2ppwcnpeyp5hvkm
« Previous Showing results 1 — 15 out of 2,578 results