Design of Embedded Systems: Formal Models, Validation, and Synthesis

Edwards, Stephen H.; Lavagno, Luciano; Lee, Edward A.; Sangiovanni‐Vincentelli, Alberto

doi:10.1016/b978-155860702-6/50009-0

Cited by 124 publications

(168 citation statements)

References 60 publications

Supporting

Mentioning

165

Contrasting

Unclassified

Order By: Relevance

“…In the domain of embedded systems, a large number of modeling languages have been proposed [10][11][12], including extensions to finite state machines, data flow graphs, communicating processes, and Petri nets. In this section, we present main models of computation for real-time applications reported in the literature.…”

Section: Modeling Methodsmentioning

confidence: 99%

Dynamic Application Model for Scheduling with Uncertainty on Reconfigurable Architectures

Ktata

Ghaffari

Granado

et al. 2011

International Journal of Reconfigurable Computing

View full text Add to dashboard Cite

Applications executed on embedded systems require dynamicity and flexibility according to user and environment needs. Dynamically reconfigurable architecture could satisfy these requirements but needs efficient mechanisms to be managed efficiently. In this paper, we propose a dedicated application modeling technique that helps to establish a predictive scheduling approach to manage a dynamically reconfigurable architecture named OLLAF. OLLAF is designed to support an operating system that deals with complex embedded applications. This model will be used for a predictive scheduling based on an early estimation of our application dynamicity. A vision system of a mobile robot application has been used to validate the presented model and scheduling approach. We have demonstrated that with our modeling we can realize an efficient predictive scheduling on a robot vision application with a mean error of 6.5%.

show abstract

Section: Modeling Methodsmentioning

confidence: 99%

Dynamic Application Model for Scheduling with Uncertainty on Reconfigurable Architectures

Ktata

Ghaffari

Granado

et al. 2011

International Journal of Reconfigurable Computing

View full text Add to dashboard Cite

show abstract

“…Synchronous languages [5,6] have a significant advantage with their ability to prove correctness of the hardware circuit before they are actually implemented. Esterel is a synchronous language used for modelling reactive systems interacting with the environment.…”

Section: Multi-clock Esterelmentioning

confidence: 99%

Asynchronous on-chip networks

Amde¹,

Felicijan²,

Efthymiou³

et al. 2006

System-on-Chip: Next Generation Electronics

View full text Add to dashboard Cite

Various kinds of asynchronous interconnect and synchronisation mechanisms are being proposed for designing low power, low emission and high-speed SOCs. They facilitate modular design and possess greater resilience to fabrication time inter-chip and run-time intra-chip process variability. They can provide a solution for low power consumption in chips and simplify global timing assumptions, e.g. on clock skew, by having asynchronous communication between modules. A few methodologies, including globally asynchronous, locally synchronous and desynchronisation, aim at leveraging the benefits of both synchronous and asynchronous design paradigms. The authors survey various methodologies used for leveraging asynchronous on-chip communication. They investigate various GALS based implementations, desynchronisation strategies and asynchronous network-on-chip (NoC) designs.

show abstract

“…However, validating requirements via an inspection checklist can be problematic when trying to validate all the possible functional interactions by inspecting one requirement at a time. This problem is even more pronounced in embedded software systems, where the correct interaction of certain functionalities represent characteristics unique to embedded systems, must be addressed during validation [20,21]. The key characteristics of embedded systems [9] are:…”

Section: Introductionmentioning

confidence: 99%

Interactive requirements validation for reactive systems through virtual requirements prototype

Aceituna

Lee

2011

2011 Model-Driven Requirements Engineering Workshop

View full text Add to dashboard Cite

-Adequate requirements validation can prevent errors from propagating into later development phases, and eventually improve the quality of software systems. However, validating natural language requirements is often difficult and error-prone. An effective means of requirements validation for embedded software systems has been to build a working model of the requirements in the form of a physical prototype that stakeholders can interact with. However, physical prototyping can be costly, and time consuming, extending the time it takes to obtain and implement stakeholder feedback. We have developed a requirements validation technique, called Virtual Requirements Prototype (VRP), that reduces cost and stakeholder feedback time by allowing stakeholders to validate embedded software requirements through the interaction with a virtual prototype.I.

show abstract

Design of Embedded Systems: Formal Models, Validation, and Synthesis

Cited by 124 publications

References 60 publications

Dynamic Application Model for Scheduling with Uncertainty on Reconfigurable Architectures

Dynamic Application Model for Scheduling with Uncertainty on Reconfigurable Architectures

Asynchronous on-chip networks

Interactive requirements validation for reactive systems through virtual requirements prototype

Contact Info

Product

Resources

About