Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation

Porter, Joseph; Karsai, Gábor; Völgyesi, Péter; Nine, Harmon; Humke, Peter; Hemingway, Graham; Thibodeaux, Ryan; Sztipanovits, János

doi:10.1007/978-3-642-01648-6_3

Cited by 13 publications

(11 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…UML state diagrams are then transformed using an intermediate XMI representation to SystemVerilog code. Other tools have applied OMG's MDA approach to hardware description and verification languages [Rouxel et al 2005;Coyle and Thornton 2005;Bunse et al 2007;Porter et al 2009;Ben Atitallah et al 2007].…”

Section: Related Workmentioning

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

Section: Related Workmentioning

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

show abstract

“…None of these modeling frameworks explicitly support the time-triggered architecture. Additionally, ESMoL differs from AADL, SystemC, and Metropolis in the basic modeling approach [21]. The DECOS project [13] has many similar goals to ESMoL, but the project no longer appears to be active.…”

Section: Related Workmentioning

confidence: 99%

“…In this paper, we discuss an extension to the Embedded Systems Modeling Language (ESMoL) [21,22,25] tool chain that synthesizes a TTA-based TrueTime model from a system description captured in the ESMoL language. The ESMoL tool suite is a set of modeling tools for the definition, analysis and synthesis of distributed safety-critical embedded systems.…”

Section: Introductionmentioning

confidence: 99%

Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis

Hemingway

Porter

Kottenstette

et al. 2010

Proceedings of 2010 21st IEEE International Symposium on Rapid System Protyping

View full text Add to dashboard Cite

show abstract

“…The ESMoL mod-978-1-4577-0123-8/11/$26.00 ©2011 IEEE eling language for designing and deploying time-triggered control systems explicitly captures in model structure many of the essential relationships in an embedded design [2]. The ESMoL tools include schedule determination for time triggered communications, code generation, and a portable time-triggered virtual machine.…”

Section: Introductionmentioning

confidence: 99%

PaNeCS: A modeling language for passivity-based design of networked control systems

Eyisi

Porter

Kottenstette

et al. 2011

2011 19th Mediterranean Conference on Control &Amp; Automation (MED)

Self Cite

View full text Add to dashboard Cite

Abstract-The rapidly increasing use of information tech nology in constructing real-world systems has led to the urgent need for a sound systematic approach in designing networked control systems. Communication delays and other uncertainties complicate the development and analysis of these systems. This paper describes a prototype modeling language for the design of networked control systems using passivity to decouple control design from network uncertainties. The modeling language includes an integrated analysis tool to check for passivity and code generators for simulation in MATLAB/Simulink using the Tr ueTime platform modeling toolbox and for running actual experiments. The resulting designs are by construction robust to platform effects and implementation uncertainties.

show abstract

Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation

Cited by 13 publications

References 13 publications

Model-driven automation for simulation-based functional verification

Model-driven automation for simulation-based functional verification

Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis

PaNeCS: A modeling language for passivity-based design of networked control systems

Contact Info

Product

Resources

About