8 Hits in 7.4 sec

Rigorous system design

Joseph Sifakis
2014 Proceedings of the 2014 ACM symposium on Principles of distributed computing - PODC '14  
Acknowledgments The presented vision presented amply relies on theory, and experimental results developed by the BIP team.  ...  The paper has benefited from constructive comments and criticism by Peter Denning and two anonymous reviewers.  ...  Scheduling theory allows predictable response times for components with known period and time budgets [10] .  ... 
doi:10.1145/2611462.2611517 dblp:conf/podc/Sifakis13 fatcat:dmj4scewsrhfvf3rxbtqpeacxa

Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines

Stefano Di Alesio, Lionel C. Briand, Shiva Nejati, Arnaud Gotlieb
2015 ACM Transactions on Software Engineering and Methodology  
Tasks in Real Time Embedded Systems (RTES) are often subject to hard deadlines, that constrain how quickly the system must react to external inputs.  ...  These inputs and their timing vary in a large domain depending on the environment state, and can never be fully predicted prior to system execution.  ...  The second and third authors are supported by the National Research Fund, Luxembourg (FNR/P10/03 -Verification and Validation Laboratory).  ... 
doi:10.1145/2818640 fatcat:nb46l3gtwbhajps53qplzl5uwq

A Partitioning-Centric Approach for the Modeling and the Methodical Design of Automotive Embedded Systems Architectures [article]

Augustin Kebemou, Technische Universität Berlin, Technische Universität Berlin, Ina Schieferdecker
to design optimal architectures for automobiles' E/E-systems in a relatively short time.  ...  , maintenance, waste disposal, etc.) and concurrently optimize the functioning and the quality (i.e. performance, reliability, safety, security, etc.) of the system.  ...  Specification Scheduling Choice of the processors SW and OS Implementation and Targeting Potential targets of the software include GPPs, DSP, MCUs and ASIPs.  ... 
doi:10.14279/depositonce-1861 fatcat:2sjhtduq4ndbremyd46xnc2yam

Operating System Contribution to Composable Timing Behaviour in High-Integrity Real-Time Systems

Andrea <1983> Baldovin, Tullio Vardanega
The development of High-Integrity Real-Time Systems has a high footprint in terms of human, material and schedule costs.  ...  Later, we focus on the role played by the real-time operating system in our pursuit.  ...  It should be noted that process is the ARINC equivalent of a task in classic real-time theory.  ... 
doi:10.6092/unibo/amsdottorato/6597 fatcat:znisnt7eofhvrkrc5pgonstzgy

Design of fault-tolerant virtual execution environments for cyber-physical systems

Boguslaw Jablkowski, Technische Universität Dortmund, Technische Universität Dortmund
Second, the spreading adaptation of multi-core and manycore architectures, due to their considerable increase in computation power, additionally generates issues related to timing properties, resource  ...  With respect to the technological aspects, it investigates problems and proposes solutions related to timing properties of a virtualized execution platform as well as the thereon based high availability  ...  The adaptation of real-time scheduling policies from classical scheduling theory for the Xen architecture as well as subsequently adjusting and synchronizing them with the I/O processing subsystems, allow  ... 
doi:10.17877/de290r-20133 fatcat:jcgwmbcpu5amvj45gujapji2ty

Dagstuhl Reports, Volume 3, Issue 1, January 2013, Complete Issue [article]

Techniques for predictability range from static scheduling (e.g., time-triggered) to dynamic scheduling (e.g., priority-based).  ...  time (in the tioco extension for real-time systems).  ...  Performing locally, and without the use of the OS, results in short initiation Time.  ... 
doi:10.4230/dagrep.3.1 fatcat:tt7daiu6fjhb3i3npxmz5ul2gy

Lisbon, Portugal SOFTENG 2016 Editors SOFTENG 2016 Committee SOFTENG 2016 Advisory Committee SOFTENG 2016 Industrial Liaison Committee SOFTENG 2016 Technical Program Committee

Hermann Kaindl, Roberto Meli, Dpo Srl, Italy Softeng, Alain Abran, Paolo Maresca, Patricia Switzerland, Mcquaid, Michael Perscheid, Alain Abran, Paolo Maresca, Patricia Switzerland (+57 others)
We hope that SOFTENG 2016 was a successful international forum for the exchange of ideas and results between academia and industry and to promote further progress in the field of software engineering.  ...  We also kindly thank all the authors that dedicated much of their time and effort to contribute to SOFTENG 2016.  ...  ACKNOWLEDGEMENT The work for this paper was partially supported by funding from ISBAN and PRODUBAN, under the Center for Open Middleware initiative [26].  ... 

ADAPTIVE 2018 Committee ADAPTIVE 2018 Steering Committee

Andreas Rausch, T Clausthal, Clausthal-Zellerfeld Germany, Christoph Knieke, T Clausthal, Clausthal-Zellerfeld, Germany Schranz, Roy Sterritt, Constantin Paleologu, Marc-Philippe Huget, Weirong Jiang, Jessie Chen (+52 others)
We hope ADAPTIVE 2018 was a successful international forum for the exchange of ideas and results between academia and industry and to promote further progress in the area of adaptive and self-adaptive  ...  We also kindly thank all the authors that dedicated much of their time and effort to contribute to ADAPTIVE 2018.  ...  As described above, the SS consists of an OS and a SW. The OS evaluates a specific candidate controller in the optimization process.  ...