Component-based design of cyber-physical applications with safety-critical requirements

Microprocessors and Microsystems

Volumn 42, Issue , 2016, Pages 70-86

  Masrur, Alejandro ^a   Kit, Michał ^b   Matěna, Vladimír ^b   Bureš, Tomáš ^b   Hardt, Wolfram ^a  

^a CHEMNITZ UNIVERSITY OF TECHNOLOGY   (Germany)

^b CHARLES UNIVERSITY   (Czech Republic)

Author keywords

Component based design; Cyber physical systems; Real time and timing analysis; Reliability aware design; Safety critical applications; Unreliable communication

Indexed keywords

DESIGN; EMBEDDED SYSTEMS; RELIABILITY ANALYSIS; SAFETY ENGINEERING;

COMPONENT BASED DESIGN; CYBER PHYSICAL SYSTEMS (CPSS); RELIABILITY AWARE DESIGN; SAFETY CRITICAL APPLICATIONS; TIMING ANALYSIS;

REAL TIME SYSTEMS;

EID: 84962802431     PISSN: 01419331     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.micpro.2016.01.007     Document Type: Article

References (57)

1. K. Beetz, and W. Böhm Challenges in engineering for software-intensive embedded systems Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology 2012 Springer
2. AUTOSAR: AUTomotive Open System ARchitecture, http://autosar.org, (accessed 06.02.16).
3. W. Reisig Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies 2013 Springer
4. T. Bures, I. Gerostathopoulos, P. Hnetynka, J. Keznikl, M. Kit, and F. Plasil DEECo: An ensemble-based component system Proceedings of the International ACM SIGSOFT Symposium on Component-based Software Engineering (CBSE) 2013
5. R. Hennicker, and A. Klarl Foundations for ensemble modeling - the Helena approach Specification, Algebra, and Software 2014 Springer
6. A. Masrur, M. Kit, T. Bures, and W. Hardt Towards component-based design of safety-critical cyber-physical applications Proceedings of the Euromicro Conference on Digital Systems Design (DSD) 2014
7. J. Keznikl, T. Bures, F. Plasil, I. Gerostathopoulos, P. Hnetynka, and N. Hoch Design of ensemble-based component systems by invariant refinement Proceedings of the International ACM SIGSOFT Symposium on Component-based Software Engineering (CBSE) 2013
8. C++ implementation of the DEECo runtime environment, https://github.com/d3scomp/CDEECo, (accessed 06.02.16).
9. M. Kit, I. Gerostathopoulos, T. Bures, P. Hnetynka, and F. Plasil An architecture framework for experimentations with self-adaptive cyber-physical systems Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) 2015
10. S. Zeadally, R. Hunt, Y.-S. Chen, A. Irwin, and A. Hassan Vehicular ad hoc networks (VANETS): status, results, and challenges Telecommun. Syst. 50 4 2012 217 241
11. J. Feljan, L. Lednicki, J. Maras, A. Petricic, and I. Crnkovic Classification and Survey of Component Models Technical Report 2009 Project DICES
12. T. Pop, P. Hnetynka, P. Hosek, M. Malohlava, and T. Bures Comparison of component frameworks for real-time embedded systems Knowl. Inf. Syst. 40 1 2014 127 170
13. jRESP - runtime environment for SCEL programs, http://www.ascens-ist.eu/jresp, (accessed 06.02.16).
14. K. Klobedanz, C. Kuznik, A. Thuy, and W. Mueller Timing modeling and analysis for AUTOSAR-based software development - a case study Proceedings of the Conference on Design, Automation, and Test in Europe (DATE) 2010
15. J.E. Kim, O. Rogalla, S. Kramer, and A. Hamann Extracting, specifying and predicting software system properties in component based real-time embedded software development Proceedings of the International Conference on Software Engineering (ICSE) 2009
16. R. Ommering, F. Linden, J. Kramer, and J. Magee The Koala component model for consumer electronics software Computer 33 3 2000 78 85
17. H. Maaskant A robust component model for consumer electronic products Dynamic and Robust Streaming in and between Connected Consumer-Electronic Devices 2005 Springer
18. C. Sunder, A. Zoitl, J. Christensen, H. Steininger, and J. Rritsche Considering IEC 61131-3 and IEC 61499 in the context of component frameworks Proceedings of the IEEE International Conference on Industrial Informatics (INDIN) 2008
19. L. Lednicki, J. Carlson, and K. Sandström Model level worst-case execution time analysis for IEC 61499 Proceedings of the International ACM SIGSOFT Symposium on Component-based Software Engineering (CBSE) 2013
20. J.-P. Fassino, J.-B. Stefani, J. Lawall, and G. Muller Think: A software framework for component-based operating system kernels Proceedings of the USENIX Annual Technical Conference 2002
21. M. Anne, R. He, T. Jarboui, M. Lacoste, O. Lobry, G. Lorant, M. Louvel, J. Navas, V. Olive, J. Polakovic, M. Poulhies, J. Pulou, S. Seyvoz, J. Tous, and T. Watteyne Think: View-based support of non-functional properties in embedded systems Proceedings of International Conference on Embedded Software and Systems (ICESS) 2009
22. The MIND project, http://mind.ow2.org, (accessed 06.02.16).
23. The Fractal Component Model specification, http://fractal.ow2.org/specification, (accessed 06.02.16).
24. M. Prochazka, R. Ward, P. Tuma, P. Hnetynka, and J. Adamek A component-oriented framework for spacecraft on-board software Proceedings of the Data Systems in Aerospace (DASIA) 2008
25. T. Bures, P. Hnetynka, and F. Plasil SOFA 2.0: Balancing advanced features in a hierarchical component model Proceedings of the International Conference on Software Engineering Research, Management and Applications (SERA) 2006
26. G. Coulson, G. Blair, P. Grace, F. Taiani, A. Joolia, K. Lee, J. Ueyama, and T. Sivaharan A generic component model for building systems software ACM Trans. Comput. Syst. 26 1 2008 1 42
27. S. Hissam, J. Ivers, D. Plakosh, and K.C. Wallnau PIN Component Technology (V1.0) and Its C Interface Technical Report 2005 CMU SEI
28. O. Sokolsky, and A. Chernoguzov Performance analysis of AADL models using real-time calculus Foundations of Computer Software: Future Trends and Techniques for Development 2010 Springer
29. L. Thiele, S. Chakraborty, and M. Naedele Real-time calculus for scheduling hard real-time systems Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS) 2000
30. OMG unified modeling language, version 2.5, http://omg.org/spec/UML/2.5, (accessed 06.02.16).
31. A. Louati, K. Barkaoui, and C. Jerad Temporal properties verification of real-time systems using UML/MARTE/OCL-RT Formalisms for Reuse and Systems Integration 2015 Springer
32. OMG systems modeling language, version 1.3, http://omg.org/spec/SysML/1.3, (accessed 06.02.16).
33. H. Espinoza, D. Cancila, B. Selic, and S. Gerard Challenges in combining SysML and MARTE for model-based design of embedded systems Model Driven Architecture - Foundations and Applications 2009 Springer
34. E. Andrade, P. Maciel, G. Callou, and B. Nogueira A methodology for mapping SysML activity diagram to time petri net for requirement validation of embedded real-time systems with energy constraints Proceedings of the International Conference on Digital Society (ICDS) 2009
35. O. Nierstrasz, G. Arévalo, S. Ducasse, R. Wuyts, A.P. Black, P.O. Müller, C. Zeidler, T. Genssler, and R. Born A component model for field devices Component Deployment 2002 Springer
36. X. Ke, K. Sierszecki, and C. Angelov COMDES-II: A component-based framework for generative development of distributed real-time control systems Proceedings of the IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) 2007
37. K. Hänninen, J. Mäki-Turja, M. Nolin, M. Lindberg, J. Lundbäck, and K. Lundbäck The Rubus component model for resource constrained real-time systems Proceedings of the IEEE International Symposium on Industrial Embedded Systems (SIES) 2008
38. H. Hansson, M. Åkerholm, I. Crnkovic, and M. Törngren SaveCCM - a component model for safety-critical real-time systems Proceedings of Thirtieth EUROMICRO International Conference 2004
39. T. Bures, J. Carlson, I. Crnkovic, S. Sentilles, and A. Vulgarakis ProCom - The Progress Component Model Reference Manual, version 1.0 Technical Report 2008 Mälardalen University
40. MyCCM high integrity, https://srcdev.lip6.fr/trac/research/flex-eware/wiki/MyCCM, (accessed 06.02.16).
41. S. Becker, H. Koziolek, and R. Reussner The Palladio component model for model-driven performance prediction Syst. Softw. 82 1 2009 3 22
42. N. Wang, D.C. Schmidt, A. Gokhale, C.D. Gill, B. Natarajan, C. Rodrigues, J.P. Loyall, and R.E. Schantz Total quality of service provisioning in middleware and applications Microprocess. Microsyst. 27 2 2003 45 54
43. A. Basu, M. Bozga, and J. Sifakis Modeling heterogeneous real-time components in BIP Proceedings of the IEEE International Conference on Software Engineering and Formal Methods (SEFM) 2006
44. C. Etzien, T. Gezgin, S. Froschle, S. Henkler, and A. Rettberg Contracts for evolving systems Proceedings of the IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) 2013
45. T. Gezgin, and C. Etzien Correct by prognosis: Methodology for a contract-based refinement of evolution models Proceedings of the First Asia-Pacific Conference on Complex Systems Design & Management (CSD&M) 2014
46. T. Gezgin, S. Henkler, A. Rettberg, and I. Stierand Contract-based compositional scheduling analysis for evolving systems Embedded Systems: Design, Analysis and Verification 2013 Springer
47. T. Bures, I. Gerostathopoulos, P. Hnetynka, J. Keznikl, M. Kit, and F. Plasil Gossiping components for cyber-physical systems Software Architecture 2014 Springer
48. C. Liu, and J. Layland Scheduling algorithms for multiprogramming in hard real-time environments J. Assoc. Comput. Mach. 20 1 1973 46 61
49. N. Audsley, A. Burns, M. Richardson, K. Tindell, and A. Wellings Applying new scheduling theory to static priority pre-emptive scheduling Softw. Eng. J. 8 5 1993 284 292
50. IEEE 802.11p standard: Wireless LAN MAC and PHY specifications amendment 6: Wireless access in vehicular environments, http://standards.ieee.org/findstds/standard/802.11p-2010.html, (accessed 06.02.16).
51. IEEE 802.1Q standard: LANs and WANs - MAC bridges and virtual bridged LANs, http://standards.ieee.org/findstds/standard/802.1Q-2011.html, (accessed 06.02.16).
52. N. Shah, F. Bastani, S. Kumar, and I.-L. Yen Real-time car-to-car communication protocol for intersecting roads Proceedings of the International Conference on ITS Telecommunications (ITST) 2008
53. N. Shah, S. Kumar, F. Bastani, and I.-L. Yen Optimization models for assessing the peak capacity utilization of intelligent transportation systems Eur. J. Oper. Res. 216 1 2012 239 251
54. S.-Y. Pyun, H. Widiarti, Y.-J. Kwon, D.-H. Cho, and J.-W. Son TDMA-based channel access scheme for V2I communication system using smart antenna Proceedings of the IEEE Conference on Vehicular Networking (VNC) 2010
55. S.-Y. Pyun, H. Widiarti, Y.-J. Kwon, J.-W. Son, and D.-H. Cho Group-based channel access scheme for a V2I communication system using smart antenna IEEE Commun. Lett. 15 8 2011 804 806
56. A. Varga, and R. Hornig An overview of the OMNeT++ simulation environment Proceedings of the International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SIMUTOOLS) 2008
57. T. Bures, R.D. Nicola, I. Gerostathopoulos, N. Hoch, M. Kit, N. Koch, G.V. Monreale, U. Montanari, R. Pugliese, N. Serbedzija, M. Wirsing, and F. Zambonelli A life cycle for the development of autonomic systems: The e-mobility showcase Proceedings of the Workshop on Challenges for Achieving Self-Awareness in Autonomic Systems (AWARENESS) 2013