The SAVE approach to component-based development of vehicular systems

Journal of Systems and Software

Volumn 80, Issue 5, 2007, Pages 655-667

  Åkerholm, Mikael ^a   Carlson, Jan ^a   Fredriksson, Johan ^a   Hansson, Hans ^a   Håkansson, John ^b   Möller, Anders ^a   Pettersson, Paul ^b   Tivoli, Massimo ^c  

^a MÄLARDALEN UNIVERSITY   (Sweden)

^b UPPSALA UNIVERSITY   (Sweden)

^c UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Component based software engineering; Component technology; Embedded systems; Vehicular systems

Indexed keywords

COMPUTATIONAL COMPLEXITY; EMBEDDED SYSTEMS; REQUIREMENTS ENGINEERING; RESOURCE ALLOCATION;

COMPONENT BASED SOFTWARE ENGINEERING; COMPONENT TECHNOLOGY; MAINTENANCE REQUIREMENTS; VEHICULAR SYSTEMS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 33847686363     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2006.08.016     Document Type: Article

References (34)

1. Åkerholm M., Möller A., Hansson H., and Nolin M. Towards a dependable component technology for embedded system applications. Tenth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005) (2005), IEEE
2. Alur R., and Dill D.L. A theory of timed automata. Theoretical Computer Science 126 2 (1994) 183-235
3. Amnell T., Fersman E., Mokrushin L., Pettersson P., and Yi W. Times: a tool for schedulability analysis and code generation of real-time systems. Proceedings of First International Workshop on Formal Modeling and Analysis of Timed Systems. LNCS (2003), Springer-Verlag
4. Bengtsson J., Griffioen W.D., Kristoffersen K.J., Larsen K.G., Larsson F., Pettersson P., and Yi W. Verification of an audio protocol with bus collision using Uppaal. Proceedings of CAV'96. LNCS (1996), Springer-Verlag 244-256
5. Carlson J., Håkansson J., and Pettersson P. SaveCCM: an analysable component model for real-time systems. Proceedings of the Second Workshop on Formal Aspects of Components Software (FACS 2005). Electronic Notes in Theoretical Computer Science (2005), Elsevier
6. Crnkovic I., and Larsson M. Building Reliable Component-Based Software Systems (2002), Artech House publisher. 1-58053-327-2
7. David, A., Yi, W., 2000. Modelling and analysis of a commercial field bus protocol. In: Proceedings of the 12th Euromicro Conference on Real Time Systems. IEEE Computer Society, pp. 165-172.
8. Dimov A., and Punnekkat S. On the estimation of software reliability of component-based dependable distributed systems. In: Reussner R., et al. (Ed). International Conference on Quality of Software Architectures (QoSA). LNCS vol. 3712 (2005), Springer-Verlag
9. Elmqvist J., Nadjm-Tehrani S., and Minea M. Safety interfaces for component-based systems. In: Winther R., Gran B.A., and Dahll G. (Eds). SAFECOMP. LNCS vol. 3688 (2005), Springer 246-260
10. Fersman E., Pettersson P., and Yi W. Timed automata with asynchronous processes: Schedulability and decidability. In: Katoen J.-P., and Stevens P. (Eds). Proceedings of the Eighth International Conference on Tools and Algorithms for the Construction and Analysis of Systems. LNCS vol. 2280 (2002), Springer-Verlag 67-82
11. Fröberg, J., 2004. Engineering of Vehicle Electronic Systems: Requirements Reflected in Architecture. Licentiate Thesis No. 26, Mälardalen University, Sweden.
12. Garlan, D., Allen, R., Ockerbloom, J., 1995. Architectural mismatch or why it's hard to build systems out of existing parts. In: Proceedings of the 17th International Conference on Software Engineering.
13. Hansson H., Lawson H., Bridal O., Norström C., Larsson S., Lönn H., and Strömberg M. Basement: an architecture and methodology for distributed automotive real-time systems. IEEE Transactions on Computers 46 9 (1997) 1016-1027
14. Hansson, H., Åkerholm, M., Crnkovic, I., Törngren, M., 2004. SaveCCM - a component model for safety-critical real-time systems. In: Proceedings of 30th Euromicro Conference, Special Session Component Models for Dependable Systems.
15. Havelund, K., Skou, A., Larsen, K.G., Lund, K., 1997. Formal modelling and analysis of an audio/video protocol: an industrial case study using Uppaal. In: Proceedings of the 18th IEEE Real-Time Systems Symposium, pp. 2-13.
16. IEC, 1992. International Standard IEC 1131, Programmable controllers.
17. Larsen K.G., Pettersson P., and Yi W. Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer 1 1-2 (1997) 134-152
18. Lindahl M., Pettersson P., and Yi W. Formal design and analysis of a gearbox controller. International Journal on Software Tools for Technology Transfer 3 3 (2001) 353-368
19. Lundbäck, K.-L., Lundbäck, J., Lindberg, M., 2004. Development of dependable real-time applications. Arcticus Systems.
20. Magee J., and Kramer J. Concurrency: State Models & Java Programs (1999), John Wiley & Sons, Inc., New York, NY, USA
21. Möller, A., Engblom, J., Nolin, M., 2005a. Developing and testing distributed can-based real-time control-systems using a single PC. In: Tenth International CAN Conference, Roma, Italy.
22. Möller, A., Peake, I., Nolin, M., Fredriksson, J., Schmidt, H., 2005b. Component-based context-dependent hybrid property prediction. In: ERCIM Workshop on Dependable Software Intensive Embedded Systems, Porto, Portugal.
23. Nierstrass, O., Arevalo, G., Ducasse, S., Wuyts, R., Black, A., Müller, P., Zeidler, C., Genssler, T., van den Born, R., 2002. A Component Model for Field Devices. In: Proceedings of the First International IFIP/ACM Working Conference on Component Deployment.
24. OMG, 2002. CORBA components. Tech. Rep., Object Management Group, formal/02-06-65.
25. Pernebo, L., Hansson, B., 2002. Plug and play in control loop design. In Preprints Reglermöte 2002, Linköping, Sweden.
26. Roll W. Towards model-based and CCM-based applications for real-time systems. Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (2003), IEEE Computer Society 75-82
27. Sangiovanni-Vincentelli, A., October 2000. Automotive electronics: Trends and challenges. In: Convergence 2000. SAE.
28. Schmidt H. Trustworthy components: compositionality and prediction. Journal of Systems and Software 65 3 (2003) 215-225
29. Schmidt D.C., Levine D.L., and Mungee S. The design of the TAO real-time object request broker. Computer Communications 21 4 (1998)
30. Tivoli, M., Fredriksson, J., Crnkovic, I., 2005. A component-based approach for supporting functional and non-functional analysis in control loop design. In: Tenth International Workshop on Component-Oriented Programming, Glasgow, Scotland.
31. van Ommering R., van der Linden F., Kramer K., and Magee J. The Koala component model for consumer electronics software. Computer 33 3 (2000) 78-85
32. Wallnau, K.C., 2003. Volume III: A Component Technology for Predictable Assembly from Certifiable Components. Tech. Rep., Software Engineering Institute, Carnegie Mellon University.
33. Wolf W. What is embedded computing?. IEEE Computer 35 1 (2002) 136-137
34. Yovine S. KRONOS: a verification tool for real-time systems. International Journal on Software Tools for Technology Transfer 1 1-2 (1997) 123-133