From Automotive to Autonomous: Time-Triggered Operating Systems

1. aiT WCET Analyzer: Worst-Case Execution Time Analyzers. http://www.absint.com

2. Bauer, V., Broy, M., Irlbeck, M., Leuxner, C., Spichkova, M., Dahlweid, M., Santen, T.: Survey of modeling and engineering aspects of self-adapting and self-optimizing systems. Technical Report TUM-I130307, TU München (2013)

   Google Scholar 

3. Blech, J.O., Spichkova, M., Peake, I., Schmidt, H.: Cyber-virtual systems: Simulation, validation and visualization. In: 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2014) (2014)

   Google Scholar 

4. Blech, J.O., Spichkova, M., Peake, I., Schmidt, H.: Visualization, simulation and validation for cyber-virtual systems. In: Evaluation of Novel Approaches to Software Engineering, pp. 140–154. Springer International Publishing (2015)

   Google Scholar 

5. Botaschanjan, J., Broy, M., Gruler, A., Harhurin, A., Knapp, S., Kof, L., Paul, W., Spichkova, M.: On the correctness of upper layers of automotive systems. Formal Aspects Comput. 20(6), 637–662 (2008)

   Article  MATH  Google Scholar 

6. Botaschanjan, J., Gruler, A., Harhurin, A., Kof, L., Spichkova, M., Trachtenherz, D.: Towards modularized verification of distributed time-triggered systems. In: FM 2006: Formal Methods, pp. 163–178. Springer (2006)

   Google Scholar 

7. Botaschanjan, J., Kof, L., Kühnel, C., Spichkova, M.: Towards verified automotive software. SIGSOFT Softw. Eng. Notes 30(4), 1–6 (2005)

   Article  Google Scholar 

8. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer (2001)

   Google Scholar 

9. Elbanhawi, M., Simic, M.: Examining the use of B-splines in parking assist systems. Appl. Mech. Mater. 490491 (2014)

   Google Scholar 

10. Elbanhawi, M., Simic, M.: Sampling-based robot motion planning: a review. IEEE Access, 30(99) (2014)

    Google Scholar 

11. Elbanhawi, M., Simic, M., Jazar, R.: Improved manoeuvring of autonomous passenger vehicles: Simulations and field results. J. Vib. Control (2015)

    Google Scholar 

12. Elbanhawi, M., Simic, M., Jazar, R.: In the passenger seat: investigating ride comfort measures in autonomous cars. IEEE Intell. Transp. Syst. Mag. 7(3), 4–17 (2015)

    Article  Google Scholar 

13. Elbanhawi, M., Simic, M., Jazar, R.: Randomized bidirectional b-spline parameterization motion planning. IEEE Trans. Intell. Transp. Syst. 17(2), 406–419 (2016)

    Article  Google Scholar 

14. Feilkas, M., Fleischmann, A., Hölzl, F., Pfaller, C., Scheidemann, K., Spichkova, M., Trachtenherz, D.: A top-down methodology for the development of automotive software. Technical Report TUM-I0902, TU München (2009)

    Google Scholar 

15. Feilkas, M., Hölzl, F., Pfaller, C., Rittmann, S., Schätz, B., Schwitzer, W., Sitou, W., Spichkova, M., Trachtenherz, D.: A refined top-down methodology for the development of automotive software systems—the KeylessEntry system case study. Technical Report TUM-I1103, TU München (2011)

    Google Scholar 

16. Fredriksson, J., Nolte, T., Nolin, M., Schmidt, H.: Contract-based reusableworst-case execution time estimate. In: Embedded and Real-Time Computing Systems and Applications, pp. 39–46. IEEE (2007)

    Google Scholar 

17. Hölzl, F., Spichkova, M., Trachtenherz, D.: Autofocus tool chain. Technical Report TUM-I1021, TU München (2010)

    Google Scholar 

18. Kopetz, H.: A comparison of TTP/C and FlexRay. Technical Report, TU Wien (2001)

    Google Scholar 

19. Kühnel, C., Spichkova, M.: FlexRay und FTCom: Formale Spezifikation in FOCUS. Technical Report TUM-I0601, TU München (2006)

    Google Scholar 

20. Kühnel, C., Spichkova, M.: Upcoming automotive standards for fault-tolerant communication: FlexRay and OSEKtime FTCom. In: EFTS 2006 International Workshop on Engineering of Fault Tolerant Systems (2006)

    Google Scholar 

21. Kühnel, C., Spichkova, M.: Fault-tolerant communication for distributed embedded systems. In: Software Engineering of Fault Tolerance Systems, vol. 19, p. 175. World Scientific Publishing (2007)

    Google Scholar 

22. Lu, K., Li, Q., Cheng, N.: An autonomous carrier landing system design and simulation for unmanned aerial vehicle. In: Guidance, Navigation and Control Conference (CGNCC), IEEE Chinese, pp. 1352–1356 (2014)

    Google Scholar 

23. Nolte, T., Hansson, H., Bello, L.L.: Wireless automotive communications. In: Proceedings of the 4th International Workshop on Real-Time Networks (RTN?05), pp. 35–38 (2005)

    Google Scholar 

24. OSEK/VDX: Fault-Tolerant Communication. Specification 1.0. http://portal.osek-vdx.org (2001)

25. OSEK/VDX: Time-Triggered Operating System. Specification 1.0. http://portal.osek-vdx.org (2001)

26. Rushby, J.: Systematic formal verification for fault-tolerant time-triggered algorithms. In: Dependable Computing for Critical Applications, vol. 11. IEEE (1997)

    Google Scholar 

27. Simic, M.: Vehicle and public safety through driver assistance applications. In: Proceedings of the 2nd International Conference Sustainable Automotive Technologies (ICSAT 2010), vol. 490491, pp. 281–288 (2010)

    Google Scholar 

28. Spichkova, M.: FlexRay: verification of the FOCUS specification in Isabelle/HOL. A case study. Technical Report TUM-I0602, TU München (2006)

    Google Scholar 

29. Spichkova, M.: Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle. Ph.D. thesis, TU München (2007)

    Google Scholar 

30. Spichkova, M.: Human factors of formal methods. In: In IADIS Interfaces and Human Computer Interaction 2012. IHCI 2012 (2012)

    Google Scholar 

31. Spichkova, M.: Design of formal languages and interfaces: “formal” does not mean “unreadable”. In: Blashki, K., Isaias, P. (eds.) Emerging Research and Trends in Interactivity and the Human-Computer Interface. IGI Global (2014)

    Google Scholar 

32. Spichkova, M., Blech, J.O., Herrmann, P., Schmidt, H.: Modeling spatial aspects of safety-critical systems with FocusST. In: 11th Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2014 (2014)

    Google Scholar 

33. Spichkova, M., Campetelli, A.: Towards system development methodologies: from software to cyber-physical domain. In: First International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS’12) (2012)

    Google Scholar 

34. Spichkova, M., Hölzl, F., Trachtenherz, D.: Verified system development with the AutoFocus tool chain. In: 2nd Workshop on Formal Methods in the Development of Software, pp. 17–24. EPTCS (2012)

    Google Scholar 

35. Spichkova, M., Liu, H., Laali, M., Schmidt, H.: Human factors in software reliability engineering. In: Workshop on Applications of Human Error Research to Improve Software Engineering. WAHESE’15 (2015)

    Google Scholar 

36. Spichkova, M., Simic, M.: Towards formal modelling of autonomous systems. In: Intelligent Interactive Multimedia Systems and Services: 2015, KES-IIMSS, pp. 279–288. Springer (2015)

    Google Scholar 

37. Spichkova, M., Zhu, X., Mou, D.: Do we really need to write documentation for a system? In: Model-Driven Engineering and Software Development (2013)

    Google Scholar 

38. Verisoft XT Project. http://www.verisoftxt.de

Download references