Feature interactions in embedded control systems

Computer Networks

Volumn 45, Issue 5, 2004, Pages 625-644

  Metzger, Andreas ^a  

^a University of Koblenz Landau   (Germany)

Author keywords

Embedded system; Feature interaction; Requirements engineering

Indexed keywords

AUTOMATION; CONTROL SYSTEMS; EMBEDDED SYSTEMS; HUMAN COMPUTER INTERACTION; INFORMATION ANALYSIS; LARGE SCALE SYSTEMS; PROBLEM SOLVING; REQUIREMENTS ENGINEERING; TELECOMMUNICATION SYSTEMS;

ANTI-LOCK BRAKING SYSTEMS; EMBEDDED CONTROL SYSTEMS; FEATURE INTERACTION; SYSTEMATIC CONTROLS;

INTERNET;

EID: 2942724265     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.comnet.2004.03.002     Document Type: Conference Paper

References (41)

1. Saad A. Prototyping bei der BMW Car IT GmbH. JavaSPEKTRUM. 2:2003;49-53.
2. Hartkopf V., Loftness V. Global relevance of total building performance. Automation in Construction. 8(4):1999;377-393.
3. Boehme R., Covell D., Grant S., et al. Automated control systems. Green Hotelier Magazine. 22:2001.
4. Calder M., Kolberg M., Magill E., et al. Feature interaction: a critical review and considered forecast. Computer Networks. 41:2003;115-141.
5. Amyot D., Logrippo L. Feature Interactions in Telecommunications and Software Systems VII. 2003;IOS Press, Amsterdam.
6. Bauer H., Dietsche K.-H., Crepin J., et al. BOSCH Automotive Handbook. fifth ed. 2000;Robert Bosch GmbH, Stuttgart.
7. Metzger A., Webel C. Feature interaction detection in building control systems by means of a formal product model. Amyot D., Logrippo L. Feature Interactions in Telecommunications and Software Systems VII. 2003;105-121 IOS Press, Amsterdam.
8. B. Schätz, A. Pretschner, F. Huber Franz, et al., Model-based development, Technical Report TUM-I0204, Department of Informatics, TU Munich, Munich, 2002.
9. Metzger A., Queins S. Specifying building automation systems with PROBAnD, a method based on prototyping, reuse, and object-orientation. Hofmann P., Schürr A. OMER - Object-Oriented Modeling of Embedded Real-Time Systems. Lecture Notes in Informatics (LNI). 2002;135-140 Köllen Verlag, Bonn.
10. S. Queins, PROBAnD - Eine Requirements-Engineering-Methode zur systematischen, domänenspezifischen Entwicklung reaktiver Systeme, Ph.D. Thesis, Department of Computer Science, University of Kaiserslautern, Kaiserslautern, 2002.
11. Metzger A., Queins S. Model-based generation of SDL specifications for the early prototyping of reactive systems. Sherrat M.E. Telecommunications and Beyond: The Broader Applicability of SDL and MSC. Lecture Notes in Computer Science. Vol. 2599:2003;158-169 Springer, Heidelberg.
12. Olsen A., Færgemand O., Møller-Pedersen B., et al. System Engineering Using SDL-92. fourth ed. 1997;North Holland, Amsterdam.
13. Budde R., Kautz K., Kuhlenkamp K., et al. Prototyping: An Approach to Evolutionary System Development. 1992;Springer, Heidelberg.
14. Atkinson C. Meta-modeling for distributed object environments. Milosevic Z. Proceedings of 1st International Enterprise Distributed Object Computing Conference (EDOC'97). 1997;90-103 IEEE Computer Society.
15. Clark T., Evans A. Foundations of the unified modeling language. Duke D., Evans A. Proceedings of Bcs-Facs Northern Formal Methods Workshop. Ilkley, UK, September 1996:1997;Springer, Heidelberg.
16. D. Harel, B. Rumpe, Modeling languages: syntax, semantics and all that stuff - Part I: The basic stuff, Report MCSOO-16, Weitzman Institute, Rehovot, Israel, 2000.
17. A. Metzger, Requirements engineering by generator-based prototyping, in: H. Alt, M. Becker (Eds.), Proceedings of the International Colloquium of the SFB 501, Software Reuse - Requirements, Technologies and Applications, Department of Computer Science, University of Kaiserslautern, Kaiserslautern, 2003, pp. 25-35.
18. Zimmermann G. Efficient creation of building performance simulators using automatic code generation. Energy and Buildings. 34:2002;973-983.
19. G. Calderón Meza, Modeling friction in a ground vehicle - brake discs & tire/road friction models, in: A. Metzger, G. Zimmermann (Eds.), Modellierung reaktiver Systeme: Ein Fallbeispiel, SFB 501 Report 08/03, University of Kaiserslautern, Kaiserslautern, 2003, pp. 37-50.
20. A. Mahdavi, A. Metzger, G. Zimmermann, Towards a virtual laboratory for building performance and control, in: R. Trappl (Ed.), Proceedings 16th European Meeting on Cybernetics and Systems Research (EMCSR), Cybernetics and Systems 2002, vol. 1, University of Vienna, Vienna, April 2002, pp. 281-286.
21. S. Queins, G. Zimmermann, A first iteration of a reuse-driven, domain-specific system requirements analysis process, SFB 501 Report 13/99, University of Kaiserslautern, Kaiserslautern, 1999.
22. S. Queins, M. Trapp, T. Brack, et al., Floor 32, on-line development documents, Department of Computer Science, University of Kaiserslautern, Kaiserslautern, 2004. Available from .
23. J. Brandt, B.H. Schäfer, SmoothBrake - A prototyping case study, in: A. Metzger, G. Zimmermann (Eds.), Modellierung reaktiver Systeme: Ein Fallbeispiel, SFB 501 Report 08/03, University of Kaiserslautern, Kaiserslautern, 2003, pp. 51-60.
24. Williams A., Probert R., Li Q., et al. The winning entry of the SAM 2002 design contest: a case study of the effectiveness of SDL and MSC. Reed R. SDL 2003: System Design. Lecture Notes in Computer Science. Vol. 2708:2003;387-403 Springer, Heidelberg.
25. S. Queins, A. Metzger, The PROBAnD railway crossing specification, in: SDL-2000 Design Contest of the 3rd SAM (SDL and MSC) Workshop, Aberystwyth, Wales, June 2002. Available from .
26. Amyot D. Introduction to the user requirements notation: learning by example. Computer Networks. 42(3):2003;285-301.
27. Gotel O.C.Z., Finkelstein A. An analysis of the requirements traceability problem. Proceedings of 1st International Conference on Requirements Engineering. 1994;94-101 IEEE Computer Society Press, Los Alamitos, CA.
28. Douglass B.P. Real-Time UML - Second Edition: Developing Efficient Objects for Embedded Systems. 2000;Addison-Wesley, Reading, MA.
29. Grady R.B. Practical Software Metrics for Project Management and Process Improvement. 1992;Prentice Hall, Englewood Cliffs, NJ.
30. A. Metzger et al., PROTAGOnIST - Tools for Automated Software Development, web site, Department of Computer Science, University of Kaiserslautern, Kaiserslautern, 2004. Available from .
31. M. Wilson, E. Magill, An environmental model for service interaction in home networks, in: Proceedings of Postgraduate Research Conference in Electronics, Photonics, Communications and Software (Prep) 2003, Exeter, UK, April 2003.
32. Magill E., Calder M. Feature Interactions in Telecommunications and Software Systems VI. 2000;IOS Press, Amsterdam.
33. E. Pulvermüller, A. Speck, J.O. Coplien, et al. (Eds.), Feature Interactions in Composed Systems, European Conference on Object-Oriented Programming ECOOP 2001, Workshop #8, 2001.
34. Keck D.O., Kuehn P.J. The feature and service interaction problem in telecommunications systems: a survey. IEEE Transactions on Software Engineering. 24(10):1998;779-796.
35. L. du Bousquet, Feature interaction detection using testing and model-checking - experience report, in: World Congress in Formal Methods, Toulouse, France, 1999.
36. E. Ernst, What's in a name? in: E. Pulvermüller, A. Speck, J.O. Coplien, et al. (Eds.), Feature Interactions in Composed Systems, European Conference on Object-Oriented Programming ECOOP 2001, Workshop #8, 2001, pp. 27-33.
37. Blair L., Pang J. Aspect-oriented solutions to feature interaction concerns using AspectJ. Amyot D., Logrippo L. Feature Interactions in Telecommunications and Software Systems VII. 2003;87-104 IOS Press, Amsterdam.
38. Amyot D., Charfi L., Gorse N., et al. Feature description and feature interaction analysis with Use Case Maps and LOTOS. Magill E., Calder M. Feature Interactions in Telecommunications and Software Systems VI. 2000;IOS Press, Amsterdam.
39. Buhr R.J.A. Use Case Maps as architectural entities for complex systems. Special Issue on Scenario Management. IEEE Transactions on Software Engineering. 24(12):1998;1131-1155.
40. Bolognesi T., Brinksma E. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems. 14:1986;25-59.
41. Calder M., Kolberg M., Magill E., et al. Hybrid solutions to the feature interaction problem. Amyot D., Logrippo L. Feature Interactions in Telecommunications and Software Systems VII. 2003;295-312 IOS Press, Amsterdam.