[KSCI] Korea Science Citation Index Service

http://dx.doi.org/10.3745/JIPS.2012.8.4.539

Evaluation of an Abstract Component Model for Embedded Systems Development

Bunse, Christian (University of Applied Sciences Stralsund)
Choi, Yunja (School of Computer Science and Engineering, Kyungpook National University)
Gross, Hans Gerhard (Software Engineering Research Group, Delft University of Technology)

Publication Information

Journal of Information Processing Systems / v.8, no.4, 2012 , pp. 539-554 More about this Journal

Abstract

Model-driven and component-oriented development is increasingly being used in the development of embedded systems. When combined, both paradigms provide several advantages, such as higher reuse rates, and improved system quality. Performing model-driven and component-oriented development should be accompanied by a component model and a method that prescribes how the component model is used. This article provides an overview on the MARMOT method, which consists of an abstract component model and a methodology for the development of embedded systems. The paper describes a feasibility study that demonstrates MARMOT's capability to alleviate system design, verification, implementation, and reuse. Results indicate that model-driven and component-based development following the MARMOT method outperforms Agile development for embedded systems, leads to maintainable systems, and higher than normal reuse rates.

Keywords

Software Development Management; Software Reusability; Modeling;

Citations & Related Records

Reference

1	H.D. Mills, V.R. Basili, J.D. Gannon, R.G. Hamlet. Teaching principles of computer programming, 15th Conference on Computer Science, St. Louis, Missouri, USA, February, 16-19, 1987.
2	B. Selic, G. Gullekson and P.T. Ward. Real-Time Object-Oriented Modeling. Wiley, 1994.
3	C. Szyperski. Component Software - Beyond Object Oriented Programming. Addison-Wesley, 2002.
4	J. Ventura, F. Siebert, A. Walter, J.J. Hunt. HIDOORS-A High Integrity Distributed Deterministic Java Environment, 7th International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 7-9 January, 2002, San Diego, CA, USA.
5	C. Wohlin, P. Runeson, M. Host, M. C. Ohlsson, B. Regnell, and A. Wesslen. Experimentation in software engineering: an introduction. Kluwer Academic Publishers, 2000.
6	J. Hooman. Towards Formal Support for UML-Based Development of Embedded Systems, 3rd PROGRESS Workshop on Embedded Systems, Technology and Foundation, STW, 2002.
7	G. Naeser and K. Lundqvist. Component-Based Approach to Run-Time Kernel Specification and Verification. 17th Euromicro Conference on Real-Time Systems, 2005.
8	B.P. Douglass. Real-Time Design Patterns. Addison-Wesley, 2003.
9	R. France and B. Rumpe. Model-Driven Development of Complex Software: A Research Roadmap. In Proceedings of the 29th Intl Conference on Software Engineering (ICSE 2007), Future of Software Engineering, pp.37-54, Minneapolis, 2007.
10	N. Guelfi and A. Mammar. A formal semantics of timed activity diagrams and its PROMELA translation. 12th Asia-Pacific Software Engineering Conference, Seoul, South Korea 2005.
11	H.-G. Gross. Component-Based Software Testing with UML. Springer, Heidelberg, 2005.
12	N. Habra, A. Abran, M. Lopez, A. Sellami. A framework for the design and verification of software measurement methods. Journal of Systems and Software, 81(5), pp.633-648, 2008. DOI ScienceOn
13	D. Harel, M. Politi. D. Harel and M. Politi, Modeling Reactive Systems with Statecharts: The STATEMATE Approach, McGraw-Hill, 1998.
14	G. J. Holzmann. The SPIN model checker: primer and reference manual. Addison-Wesley, 2003.
15	P. Hruschka and C. Rupp.Agile SW-Entwicklung fuer Embedded Real-Time Systems mit UML. Hanser, 2002.
16	J. Jürjens and P. Shabalin. Tools for Secure Systems Development with UML. International Journal of Software Tools and Technology Transfer, 9, pp.527-544, 2007. DOI ScienceOn
17	J. Jürjens, D. Reiss, D. Trachtenherz. Model-Based Quality Assurance of Automotive Software, 11th International Conference on Model Driven Engineering Languages and Systems, Toulouse, France, 2008.
18	N. Juristo, A.M. Moreno. Basics of Software Engineering Experimentation. Kluwer Academic Publishers. 2001.
19	M.U. Khan. Model-Driven Development of Real-Time Systems with UML 2 and C. 3rd International Workshop on Model-Based Methodologies of Pervasive and Embedded Software, pp.33-42, 2006.
20	P. Kruchten. The Rational Unified Process - An Introduction. Addison-Wesley, 2003.
21	K.G. Larsen, P. Pettersson, W. Yi, Uppaal in a Nutshell, Int. Journal on Software Tools for Technology Transfer 1 (1997), pp.134-152. DOI ScienceOn
22	C.F. Lange. Model-Size Matters. Workshop on Model Size Metrics, co-located with ACM/IEEE MoDELS/UML Conference, October, 2006.
23	K. Lano. Formal Object-Oriented Development. Springer, 1995.
24	P.Marwedel. Embedded System Design. Springer, 2006.
25	L. Lavagno, G. Martin and B. Selic (Eds.). UML for Real Design of Embedded Real-Time Systems. Kluwer, 2003.
26	M.Marcos. UML Modeling of Industrial Distributed Control Systems. 6th Portuguese Conference on Automatic Control, Portugal, 2004.
27	R.C. Martin. Agile Software Development. Principles, Patterns, and Practices. Prentice Hall, 2002.
28	Edmund M. Clarke, Orna Grumberg, Doron Peled. Model Checking, MIT Press, 1999.
29	R. Alur and D.L. Dill. A theory of timed automata, Theoretical Computer Science, No.126, 1994.
30	C. Atkinson, J. Bayer, C. Bunse, E. Kamsties, O. Laitenberger, R. Laqua, D. Muthig, B. Paech, J.Wust, J. Zettel. Component-Based Product Line Engineering with UML, Addison-Wesley, UK, 2001.
31	K.Beck, C.Andres. Extreme Programming Explained: Embrace Change (2nd Edition), Addison- Wesley Professional, 2004.
32	L.C. Briand, J. Wüst, J.W. Daly, D.V. Porter. Exploring the relationships between design measures and software quality. Journal of Systems and Software, 51(3), pp.245-273. 2000. DOI ScienceOn
33	C.Bunse, CAtkinson. The Normal Object Form: Bridging the Gap from Models to Code, Proceedings of UML'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, USA, pp 691-705, CO, 28-30, 1999, Springer, Lecture Notes in Computer Science
34	C. Bunse and H.-G. Gross. Unifying Hardware and Software Components for Embedded System Development, Architecting Systems with Trustworthy Components, Lecture Notes in Computer Science, Vol.3938, Springer, 2006.
35	I. Crnkovic and I. Larsson (Eds.). Building Reliable Component-Based Software Systems. Artech House, 2002.
36	C.Bunse, C.Peper and H.-G.Gross. Embedded System Construction - Evaluation of Model-Driven and Component-Based Development Approaches, Proceedings of Workshops and Symposia at 11th Int. Conf. Model Driven Engineering Languages and Systems. LNCS 5421, Springer, 2008.
37	J. Carlson, J. Ha˙kansson and P. Pettersson. SaveCCM: An Analysable Component Model for Real-Time Systems, Electr. Notes Theoretical Computer Science, Vol.160, pp.127-140, 2006. DOI ScienceOn
38	Y. Choi and C. Bunse. Design Verification in Model-based micro-Controller development using an Abstract Component, Software and Systems Modeling, Vol 1, No 1, pp.91-115, 2011.