Behavioural Verification in Embedded Software, from Model to Source Code

Pires, Anthony Fernandes; Polacsek, Thomas; Wiels, Virginie; Duprat, Stéphane

doi:10.1007/978-3-642-41533-3_20

Cited by 4 publications

(1 citation statement)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This considerably limits interest of profiles and their practical usability in a context in which engineers look for rapid prototyping. Other researchers, such as [62] [63] and [64], focus on providing mechanisms to further bridge the gap between model and code, and alleviate the burden associated with learning an extra action language, i.e. ALF.…”

Section: Do-178dmentioning

confidence: 99%

Bare-Metal Kernels for DEVS Model Execution in Embedded Systems

Niyonkuru¹

View full text Add to dashboard Cite

With the rising popularity of embedded systems came new challenges due to evergrowing market application demands, increasing complexity and widening productivity gap. To deal with these issues, model-driven development promotes a higher level of abstraction during design and uses models as the primary artifacts that guide the product development. In fact, the fundamental principle is to construct a model of a system and then transform it into the real system. We focus on DEMES, a model-driven development methodology based on the Discrete Event System Specification (DEVS)-that defines a formal Modeling and Simulation framework for discrete event dynamic systems-, and especially the transition from simulated platform to execution platform, i.e. the embedded hardware. In this dissertation, we present bare-metal real-time executives that allow DEVS models to be executed on a target platform without the need of an operating system. This is particularly important for target platforms with limited resources. In addition to the real-time executives, we introduce a hardware abstract layer that supports several hardware peripheral libraries and fosters fast prototyping. We also illustrate the DEMES-driven development cycle with a particular case study: a line tracking robot application. Our contributions have resulted in a reduced footprint, increased performance and enhanced platform portability. I thank Dr Gabriel Wainer whose invaluable advice and ongoing support helped through my graduate studies and research. One of my objectives in graduate school was to work with and learn from some of the best in the field, and I had this privilege under his supervision. The past two years have been both a challenging and rewarding experience. I also thank the members of the Advanced Real-Time Simulation Laboratory for their help and comradeship. v

show abstract

Section: Do-178dmentioning

confidence: 99%