Model-Based Development of Distributed Embedded Real-Time Systems with the DECOS Tool-Chain

Herzner, Wolfgang; Schlick, Rupert; Schlager, Martin; Leiner, Bernhard; Huber, Bernhard A.; Balogh, András; Csertán, György; LeGuennec, Alain; LeSergent, Thierry; Suri, Neeraj; Islam, S.M.R.

doi:10.4271/2007-01-3827

Cited by 15 publications

(3 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The DECOS project, as presented by Herzner et al, 18 has been targeted to the development of both non-safety-critical (basic control) and safety-critical applications. In the approach, the development utilizes several models including platform-independent models, resource descriptions, platform-specific (PS) models as well as model transformations for proceeding to PS models and for generating code.…”

Section: Related Workmentioning

confidence: 99%

Integrating model-in-the-loop simulations to model-driven development in industrial control

Vepsäläinen

Kuikka

2014

SIMULATION

View full text Add to dashboard Cite

Software applications are becoming increasingly important in automation and control systems. This has forced control system vendors and integrators to pursue new, more effective software development practices. One of the promising research paths has been the utilization of Unified Modeling Language and model-driven development. However, integration of simulations to the existing model-driven development approaches still has not been sufficiently described in the literature. This is surprising as advanced mathematical simulation tools are already in use in the domain to facilitate control algorithm development. In this paper, this issue is addressed by extending a tool-supported model-driven development process with object-oriented, component-based simulation capabilities. To demonstrate the proposed technique, a control system model for a crane system is developed and the technique then used to create a Modelica simulation of the controlled crane.

show abstract

Section: Related Workmentioning

confidence: 99%

Integrating model-in-the-loop simulations to model-driven development in industrial control

Vepsäläinen

Kuikka

2014

SIMULATION

View full text Add to dashboard Cite

show abstract

“…The use of model-based development approaches for critical systems has been investigated in literature. Tool chains for automotive systems development activities have been proposed [5], [6]. Similar work for aeronautics is presented in [7].…”

Section: Introductionmentioning

confidence: 99%

Parallel symbolic execution for automated real-world software testing

Bucur

Ureche

Zamfir

et al. 2011

Proceedings of the Sixth Conference on Computer Systems

185

119

View full text Add to dashboard Cite

This paper introduces Cloud9, a platform for automated testing of real-world software. Our main contribution is the scalable parallelization of symbolic execution on clusters of commodity hardware, to help cope with path explosion. Cloud9 provides a systematic interface for writing "symbolic tests" that concisely specify entire families of inputs and behaviors to be tested, thus improving testing productivity. Cloud9 can handle not only single-threaded programs but also multi-threaded and distributed systems. It includes a new symbolic environment model that is the first to support all major aspects of the POSIX interface, such as processes, threads, synchronization, networking, IPC, and file I/O. We show that Cloud9 can automatically test real systems, like memcached, Apache httpd, lighttpd, the Python interpreter, rsync, and curl. We show how Cloud9 can use existing test suites to generate new test cases that capture untested corner cases (e.g., network stream fragmentation). Cloud9 can also diagnose incomplete bug fixes by analyzing the difference between buggy paths before and after a patch.

show abstract

“…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%

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

Model-Based Development of Distributed Embedded Real-Time Systems with the DECOS Tool-Chain

Cited by 15 publications

References 6 publications

Integrating model-in-the-loop simulations to model-driven development in industrial control

Integrating model-in-the-loop simulations to model-driven development in industrial control

Parallel symbolic execution for automated real-world software testing

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

Contact Info

Product

Resources

About