Hierarchical modeling and analysis of embedded systems

Alur, Rajeev; Dang, Thao; Esposito, Joel M.; Hur, Yerang; Ivančić, Franjo; Kumar, Vijay; Mishra, Pradyumna Kumar; Pappas, George J.; Sokolsky, Oleg

doi:10.1109/jproc.2002.805817

Cited by 139 publications

(92 citation statements)

References 66 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In [45] Caspi et al discuss a method for translating a discrete-time subset of Simulink models into Lustre programs. 4 The proposed method 3 Some authors dispute the fact that "Simulink has no semantics" by arguing instead that Simulink has a multitude semantics (depending on user-configurable options) which, however, are informally and sometimes partially documented [45]. 4 While doing so, they also attempt to formalize the typing and timing mechanisms of such discrete-time subset of Simulink.…”

Section: Discussionmentioning

confidence: 99%

Languages and Tools for Hybrid Systems Design

Carloni

Passerone

Pinto

et al. 2006

FNT in Electronic Design Automation

115

109

View full text Add to dashboard Cite

The explosive growth of embedded electronics is bringing information and control systems of increasing complexity to every aspects of our lives. The most challenging designs are safety-critical systems, such as transportation systems (e.g., airplanes, cars, and trains), industrial plants and health care monitoring. The difficulties reside in accommodating constraints both on functionality and implementation. The correct behavior must be guaranteed under diverse states of the environment and potential failures; implementation has to meet cost, size, and power consumption requirements. The design is therefore subject to extensive mathematical analysis and simulation. However, traditional models of information systems do not interface well to the continuous evolving nature of the environment in which these devices operate. Thus, in practice, different mathematical representations have to be mixed to analyze the overall behavior of the system. Hybrid systems are a particular class of mixed models that focus on the combination of discrete and continuous subsystems. There is a wealth of tools and languages that have been proposed over the years to handle hybrid systems. However, each tool makes different assumptions on the environment, resulting in somewhat different notions of hybrid system. This makes it difficult to share information among tools. Thus, the community cannot maximally leverage the substantial amount of work that has been directed to this important topic. In this paper, we review and compare hybrid system tools by highlighting their differences in terms of their underlying semantics, expressive power and mathematical mechanisms. We conclude our review with a comparative summary, which suggests the need for a unifying approach to hybrid systems design. As a step in this direction, we make the case for a semantic-aware interchange format, which would enable the use of joint techniques, make a formal comparison between different approaches possible, and facilitate exporting and importing design representations.

show abstract

Section: Discussionmentioning

confidence: 99%

Languages and Tools for Hybrid Systems Design

Carloni

Passerone

Pinto

et al. 2006

FNT in Electronic Design Automation

115

109

View full text Add to dashboard Cite

show abstract

“…It has been widely studied in the Ptolemy project [12], MoBIES project [9], SML-Sys modeling frameworks [17], ForSyDe modeling frameworks [19], etc. In these projects, certain common formalisms or agent-based methods are proposed to model or express heterogeneous components, which generally rely on different models of computation.…”

Section: Related Workmentioning

confidence: 99%

System-level co-simulation of integrated avionics using polychrony

Glouche

et al. 2011

Proceedings of the 2011 ACM Symposium on Applied Computing

View full text Add to dashboard Cite

The design of embedded systems from multiple views and heterogeneous models is ubiquitous in avionics as, in particular, different high-level modeling standards are adopted for specifying the structure, hardware and software components of a system. The system-level simulation of such composite models is necessary but difficult task, allowing to validate global design choices as early as possible in the system design flow. This paper presents an approach to the issue of composing, integrating and simulating heterogeneous models in a system co-design flow. First, the functional behavior of an application is modeled with synchronous data-flow and statechart diagrams using Simulink/Gene-Auto. The system architecture is modeled in the AADL standard. These highlevel, synchronous and asynchronous, models are then translated into a common model, based on a polychronous model of computation, allowing for a Globally Asynchronous Locally Synchronous (GALS) interpretation of the composed models. This translation is implemented as an automatic model transformation within Polychrony, a toolkit for embedded systems design. Simulation, including profiling and value change dump demonstration, has been carried out based on the common model within Polychrony. An avionic case study, consisting of a simplified doors and slides control system, is presented to illustrate our approach.

show abstract

“…Therefore, in order to be able to capture interrupts in REMES, we have enriched it with special history variables, like in CHARON [13]. When an execution of a mode is interrupted, the control state of that mode is recorded into a history variable h, a new local variable that we introduce for every composite mode.…”

Section: Extending Remes For Plc System Analysismentioning

confidence: 99%

Applying REMES behavioral modeling to PLC systems

Vulgarakis

Čaušević

2009

2009 XXII International Symposium on Information, Communication and Automation Technologies

View full text Add to dashboard Cite

Abstract-Programmable logic controllers (PLCs), as a specialized type of embedded systems, have been introduced to increase flexibility and reliability of the system, but at the same time to give faster response time and lower cost of implementation. In the beginning, their use brought a revolutionary change, but with the constant growth of the system complexity, it became harder to guarantee both functional and extra functional properties, as early as possible in the development process. In this paper, we show how formal methods can be applied to describe PLC-based systems and illustrate it on an example of a car wash system. First, we show how the existing behavioral modeling language REMES can be extended to model the behavior of such systems. Second, we show how REMES can be translated to networks of timed automata and priced timed automata in order to support safety and resource-wise reasoning about PLC systems. The formal verification of PLC systems is carried out in UPPAAL and UPPAAL CORA tools.

show abstract

Hierarchical modeling and analysis of embedded systems

Cited by 139 publications

References 66 publications

Languages and Tools for Hybrid Systems Design

Languages and Tools for Hybrid Systems Design

System-level co-simulation of integrated avionics using polychrony

Applying REMES behavioral modeling to PLC systems

Contact Info

Product

Resources

About