Evaluation of an Abstract Component Model for Embedded Systems Development
1
조회
0
다운로드
1
인용
0
참고문헌
키워드
초록
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.
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.
참고문헌 (38)
- R. Alur, "A theory of timed automata", Theoretical Computer Science, (126) (1994)
- C. Atkinson, "Component-Based Product Line Engineering with UML" (2001), Addison-Wesley
- K.Beck, "Extreme Programming Explained: Embrace Change (2nd Edition)" (2004), Addison- Wesley Professional
- L. C. Briand, "Exploring the relationships between design measures and software quality", Journal of Systems and Software, 51(3), pp.245~273 (2000)
- C.Bunse, "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 (1999), Lecture Notes in Computer Science
- C. Bunse, "Unifying Hardware and Software Components for Embedded System Development, Architecting Systems with Trustworthy Components", Lecture Notes in Computer Science, 3938 (2006), Springer
- C. Bunse, "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 (2008), Springer
- J. Carlson, "SaveCCM: An Analysable Component Model for Real-Time Systems", Electr. Notes Theoretical Computer Science, 160, pp.127~140 (2006)
- Y. Choi, "Design Verification in Model-based micro-Controller development using an Abstract Component", Software and Systems Modeling, 1(1), pp.91~115 (2011)
- I. Crnkovic, "Building Reliable Component-Based Software Systems" (2002), Artech House
- B. P. Douglass, "Real-Time Design Patterns" (2003), Addison-Wesley
- R. France, "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 (2007)
- N. Guelfi, "A formal semantics of timed activity diagrams and its PROMELA translation", 12th Asia-Pacific Software Engineering Conference, Seoul, South Korea (2005)
- H.-G. Gross., "Component-Based Software Testing with UML" (2005), Springer
- N. Habra, "A framework for the design and verification of software measurement methods", Journal of Systems and Software, 81(5), pp.633~648 (2008)
- D. Harel, "Modeling Reactive Systems with Statecharts: The STATEMATE Approach" (1998), The STATEMATE Approach, McGraw-Hill
- G. J. Holzmann, "The SPIN model checker: primer and reference manual" (2003), Addison-Wesley
- P. Hruschka, "Agile SW-Entwicklung fuer Embedded Real-Time Systems mit UML" (2002), Hanser
- J. Jürjens, "Tools for Secure Systems Development with UML", International Journal of Software Tools and Technology Transfer, 9, pp.527~544 (2007)
- J. Jürjens, "Model-Based Quality Assurance of Automotive Software", 11th International Conference on Model Driven Engineering Languages and Systems, Toulouse, France (2008)
- N. Juristo, "asics of Software Engineering Experimentation" (2001), Kluwer Academic Publishers
- 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)
- P. Kruchten., "The Rational Unified Process - An Introduction" (2003), Addison-Wesley
- K.G. Larsen, "Uppaal in a Nutshell", Int. Journal on Software Tools for Technology Transfer, 1, pp.134~152 (1997)
- C.F. Lange., "Model-Size Matters. Workshop on Model Size Metrics", co-located with ACM, UML Conference, pp.2006[DOI]
- K. Lano, "Formal Object-Oriented Development" (1995), Springer
- L. Lavagno, "UML for Real Design of Embedded Real-Time Systems" (2003), Kluwer
- M.Marcos, "UML Modeling of Industrial Distributed Control Systems", 6th Portuguese Conference on Automatic Control, Portuga (2004)
- R.C. Martin, "Agile Software Development, Principles, Patterns, and Practices" (2002), Prentice Hall
- P. Marwedel, "Embedded System Design" (2006), Springer
- Edmund M., "Clarke, Orna Grumberg, Doron Peled, Model Checking" (1999), MIT Press
- H.D. Mills, "Teaching principles of computer programming", 15th Conference on Computer Science, St. Louis, Missouri, USA (1987)
- B. Selic, "Real-Time Object-Oriented Modeling" (1994), Wiley
- C. Szyperski, "Component Software-Beyond Object Oriented Programming" (2002), Addison-Wesley
- J. Ventura, "HIDOORS-A High Integrity Distributed Deterministic Java Environment", 7th International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), San Diego, CA, USA (2002)
- C. Wohlin, "Experimentation in software engineering: an introduction" (2000), Kluwer Academic Publishers
- J. Hooman., "Towards Formal Support for UML-Based Development of Embedded Systems", 3rd PROGRESS Workshop on Embedded Systems (2002), Technology and Foundation, STW
- G. Naeser, "Component-Based Approach to Run-Time Kernel Specification and Verification", 17th Euromicro Conference on Real-Time Systems (2005)