The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The primary goal of this work is to provide an easy and systematic way of developing safe soft real-time systems. To achieve this goal, we propose a method of generating real-time programs from formally verified models written as systems of timed automata. The models are verified using UPPAAL model checker prior to be processed by our code generators. A characteristic of our code generator is that...
Arch MDE for "Architecture-centric Model Driven Engineering" is an approach that addresses the development and the formal verification of real time software architecture. It borrows concepts from Model Driven Engineering (MDE)and software architecture for the automatic generation of a network of timed automata, in accordance with blackboard architectural style. The generation is based on...
In this paper, we present different modeling and execution frameworks that allow us to efficiently analyze, design and verify complex systems, mainly to cope with the specific concerns of the Real-time and embedded systems (RTE) domain. First we depict a UML /MARTE based methodology for executable RTE systems modeling with a framework and its underlying model transformations required to execute UML...
Complexity in Distributed Real time Embedded Systems (DRTES) is rising due to richer functionality that is enabled by more powerful hardware. Component-Based Software Engineering (CBSE) and Model Driven Engineering (MDE) help to capture several facets of this complexity. With these two approaches, we build on two main currents in embedded systems research: synchronization and communication. In this...
In this paper we introduce a aspect oriented modeling based-approach to build real-time application, which consists of transforming standard application into real-time ones at design time. This is performed by weaving real-time constraints, such as timing, scheduling, synchronization and architecture deployment into the standard application. We introduce a rule which defines how real-time constraints...
The UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) defines a broadly expressive Time Model to provide a generic timed interpretation for UML models. As a part of MARTE, Clock Constraint Specification Language (CCSL) allows the specification of systems with multiple clock domains as well as nondeterminism. In this paper, we propose to take advantage of Polychrony clock...
This paper argues that cyber-physical systems present a substantial intellectual challenge that requires changes in both theories of computation and dynamical systems theory. The CPS problem is not the union of cyber and physical problems, but rather their intersection, and as such it demands models that embrace both. Two complementary approaches are identified: cyberizing the physical (CtP) means...
This paper presents some real-time concepts as they are found in the AADL language and proposes their expression in two formalisms suitable for formal analysis: FIACRE which is based on timed transition systems and TASM which extends abstract state machines with resource consumption mechanisms.
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in their domain specific profiles. In the UML profile for MARTE, we devised a broadly expressive time model to provide a generic timed interpretation for UML models. Our clock constraint specification language supports the specification...
This paper introduces an application framework for the Institute of Electrical and Electronics Engineers (IEEE) 1588 standard. This application framework, developed at the National Institute of Standards and Technology (NIST), consists of five layers: hardware layer, operating system layer, middleware and tools layer, IEEE 1588 layer, and application layer. A prototype application system has been...
Systems verification requires first to model the system to be verified, then to formalize the properties to be satisfied, and finally to describe the behaviour of the environment. This last point, known as the proof context, is often neglected. It could, however, be of great importance in order to reduce the complexity of the proof. The question is then how to formalize such a proof context. This...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.