Learn More
Marte (A UML Profile for Modeling and Analysis of Real-Time and Embedded systems) is a new UML profile extension for real-time and embedded systems, which is going to be standardized by mid 2007 at OMG (Object Management Group). This standard has been proposed by the "ProMarte" consortium, which consists of OMG end-users, tool providers and academics. Marte(More)
A UML profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) has been recently standardized by the OMG. This initiative meets the needs of several Thales divisions (e.g., aerospace, land and joint and air systems), which develop real-time and embedded systems. CEA LIST, INRIA and Thales have been the main contributors to the MARTE(More)
Metamodeling is raising more and more interest in the field of language engineering. While this approach is now well understood for the definition of abstract syntaxes, the formal definition of concrete syntaxes is still a challenge. Concrete syntaxes are traditionally expressed with rules, conforming to EBNF-like grammars, which can be processed by(More)
Metamodeling is raising more and more interest in the field of language engineering. While this approach is now well understood for defining abstract syntaxes, formally defining concrete syntaxes with metamodels is still a challenge. Concrete syntaxes are traditionally expressed with rules, conforming to EBNF-like grammars, which can be processed by(More)
This chapter outlines Papyrus, a tool for graphical modeling of UML2 applications. It is an open-source project, designed as an Eclipse component, and is based on the existing EMF-based realization of the UML2 meta-model. The goal of this open-source project project is twofold. First, it aims at providing a complete, efficient, robust, and methodologically(More)
The complexity of embedded automotive systems calls for a more rigorous approach to system development compared to current state of practice. A critical issue is the management of the engineering information that defines the embedded system. Development time, cost efficiency, quality and dependability all benefit from appropriate information management.(More)
A specific ontology is proposed in the scope of the development of a platform devoted to exchanges between academics and industrials of the robotic domain. This paper presents the tools used for knowledge elicitation, the concepts and properties linked with control architecture, the use of the resulting ontology for description of some scenarios and the(More)
This work is motivated by the recent Request For Proposals issued by OMG for a new UML Profile named " Modeling and Analysis of Real-Time and Embedded systems ". The paper describes first some domain concepts for annotating Non-Functional Properties (NFPs), whose focus is on supporting temporal verification of UML-based models. Particular emphasis is given(More)