References
- R. Alur and D.L. Dill. A theory of timed automata, Theoretical Computer Science, No.126, 1994.
- 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.
- K.Beck, C.Andres. Extreme Programming Explained: Embrace Change (2nd Edition), Addison- Wesley Professional, 2004.
- 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. https://doi.org/10.1016/S0164-1212(99)00102-8
- 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
- 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.
- 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.
- 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. https://doi.org/10.1016/j.entcs.2006.05.019
- 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.
- I. Crnkovic and I. Larsson (Eds.). Building Reliable Component-Based Software Systems. Artech House, 2002.
- B.P. Douglass. Real-Time Design Patterns. Addison-Wesley, 2003.
- 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.
- 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.
- H.-G. Gross. Component-Based Software Testing with UML. Springer, Heidelberg, 2005.
- 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. https://doi.org/10.1016/j.jss.2007.07.038
- D. Harel, M. Politi. D. Harel and M. Politi, Modeling Reactive Systems with Statecharts: The STATEMATE Approach, McGraw-Hill, 1998.
- G. J. Holzmann. The SPIN model checker: primer and reference manual. Addison-Wesley, 2003.
- P. Hruschka and C. Rupp.Agile SW-Entwicklung fuer Embedded Real-Time Systems mit UML. Hanser, 2002.
- 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. https://doi.org/10.1007/s10009-007-0048-8
- 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.
- N. Juristo, A.M. Moreno. Basics of Software Engineering Experimentation. Kluwer Academic Publishers. 2001.
- 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. Addison-Wesley, 2003.
- K.G. Larsen, P. Pettersson, W. Yi, Uppaal in a Nutshell, Int. Journal on Software Tools for Technology Transfer 1 (1997), pp.134-152. https://doi.org/10.1007/s100090050010
- C.F. Lange. Model-Size Matters. Workshop on Model Size Metrics, co-located with ACM/IEEE MoDELS/UML Conference, October, 2006.
- K. Lano. Formal Object-Oriented Development. Springer, 1995.
- L. Lavagno, G. Martin and B. Selic (Eds.). UML for Real Design of Embedded Real-Time Systems. Kluwer, 2003.
- M.Marcos. UML Modeling of Industrial Distributed Control Systems. 6th Portuguese Conference on Automatic Control, Portugal, 2004.
- R.C. Martin. Agile Software Development. Principles, Patterns, and Practices. Prentice Hall, 2002.
- P.Marwedel. Embedded System Design. Springer, 2006.
- Edmund M. Clarke, Orna Grumberg, Doron Peled. Model Checking, MIT Press, 1999.
- 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.
- B. Selic, G. Gullekson and P.T. Ward. Real-Time Object-Oriented Modeling. Wiley, 1994.
- C. Szyperski. Component Software - Beyond Object Oriented Programming. Addison-Wesley, 2002.
- 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.
- C. Wohlin, P. Runeson, M. Host, M. C. Ohlsson, B. Regnell, and A. Wesslen. Experimentation in software engineering: an introduction. Kluwer Academic Publishers, 2000.
- J. Hooman. Towards Formal Support for UML-Based Development of Embedded Systems, 3rd PROGRESS Workshop on Embedded Systems, Technology and Foundation, STW, 2002.
- G. Naeser and K. Lundqvist. Component-Based Approach to Run-Time Kernel Specification and Verification. 17th Euromicro Conference on Real-Time Systems, 2005.
Cited by
- Implications of shallower memory controller transaction queues in scalable memory systems vol.72, pp.5, 2016, https://doi.org/10.1007/s11227-015-1485-x