Model-Based Verification of Embedded Software

Shokry, Hesham; Hinchey, Michael G.

doi:10.1109/mc.2009.125

Cited by 70 publications

(41 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The general simulation approaches that can be applied when models are used for generating code include model-in-the-loop (MiL), software-in-the-loop (SiL), processor-in-the-loop (PiL), and hardware-in-the-loop (HiL) simulations [4]. The approaches differ in the control system configurations that are used to control plant models in closed-loop simulations.…”

Section: Related Workmentioning

confidence: 99%

Model-Driven Development of Automation and Control Applications: Modeling and Simulation of Control Sequences

Vepsäläinen

Kuikka

2014

Advances in Software Engineering

View full text Add to dashboard Cite

The scope and responsibilities of control applications are increasing due to, for example, the emergence of industrial internet. To meet the challenge, model-driven development techniques have been in active research in the application domain. Simulations that have been traditionally used in the domain, however, have not yet been sufficiently integrated to model-driven control application development. In this paper, a model-driven development process that includes support for design-time simulations is complemented with support for simulating sequential control functions. The approach is implemented with open source tools and demonstrated by creating and simulating a control system model in closed-loop with a large and complex model of a paper industry process.

show abstract

Section: Related Workmentioning

confidence: 99%

Model-Driven Development of Automation and Control Applications: Modeling and Simulation of Control Sequences

Vepsäläinen

Kuikka

2014

Advances in Software Engineering

View full text Add to dashboard Cite

show abstract

“…However, to date, the design of verification testbenches has benefited little from the use of model-driven engineering [Shokry and Hinchey 2009]. This paper presents a MDE process and toolset that supports modularized development of hardware verification testbenches.…”

Section: ·mentioning

confidence: 99%

Model-driven automation for simulation-based functional verification

Linehan

O'Toole

Clarke

2012

ACM Trans. Des. Autom. Electron. Syst.

View full text Add to dashboard Cite

Developing testbenches for dynamic functional verification of hardware designs is a software intensive process that lies on the critical path of electronic system design. The increasing capabilities of electronic components is contributing to the construction of complex verification environments that are increasingly difficult to understand, maintain, extend and reuse across projects. Modeldriven software engineering addresses issues of complexity, productivity and code quality through the use of high-level system models and subsequent automatic transformations. Reasoning about verification testbench decomposition becomes simpler at higher levels of abstraction. In particular, the aspect-oriented paradigm, when applied at the model level can minimize the overlap in functionality between modules, improving maintainability and reusability. This paper presents an aspect-oriented model-driven engineering process and toolset for the development of hardware verification testbenches. We illustrate how this process and toolset supports modularized design and automatic transformation to verification environment-specific models and source code through an industry case study.

show abstract

“…However, these still fail to address the dynamic and realtime aspects of the infrastructure software. Advances in model-based design technology indicate that embedded software developers can expect more tool support for the whole electronic control unit software spectrum [11].…”

Section: Automotive Softwarementioning

confidence: 99%

Evolving Critical Systems: A Research Agenda for Computer-Based Systems

Hinchey

Coyle

2010

2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems

Self Cite

View full text Add to dashboard Cite

Increasingly software can be considered to be critical, due to the business or other functionality which it supports. Upgrades or changes to such software are expensive and risky, primarily because the software has not been designed and built for ease of change. Expertise, tools and methodologies which support the design and implementation of software systems that evolve without risk (of failure or loss of quality) are essential. We address a research agenda for building software in computer-based systems that (a) is highly reliable and (b) retains this reliability as it evolves, either over time or at run-time.

show abstract

Model-Based Verification of Embedded Software

Cited by 70 publications

References 4 publications

Model-Driven Development of Automation and Control Applications: Modeling and Simulation of Control Sequences

Model-Driven Development of Automation and Control Applications: Modeling and Simulation of Control Sequences

Model-driven automation for simulation-based functional verification

Evolving Critical Systems: A Research Agenda for Computer-Based Systems

Contact Info

Product

Resources

About