Testing of Embedded Control Systems with Continous Signals

References (202)

1. A. Agrawal, G. Simon, G. Karsai: Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations. ENTCS 109 (2004): 43- 56
2. P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis: Translating Discrete-Time Simulink to Lustre. LNCS 2855 (2003): 84-99
3. M. Conrad, I. Fey, M. Grochtmann, T. Klein: Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler. Informatik Forsch. Entw. (2005) 20:3-10
4. M. Conrad, I. Fey, H. Pohlheim: eGuidelines -A Tool for Managing Modeling Guidelines. International Automotive Conference, Detroit (US), Jun. 2005
5. H. Dörr, M. Conrad : Modellbasierte Entwicklung sicherheitsrelevanter eingebetteter Systeme. Eingeladener Vortrag, MBEES'05, Dagstuhl, Jan. 2005
6. MISRA-C:2004 Guidelines for the Use of the C Language in Critical Systems. Oct. 2004
7. MSR Working group MEGMA: Standardization of library blocks for graphical model exchange. 2001
8. N. Scaife, C. Sofronis, P. Caspi, S. Tripakis, F. Maraninchi: Formal languages: Defining and translating a "safe" subset of simulink/stateflow into lustre. Proc. 4. ACM Int. Conf. on Embedded Software, Sept. 2004
9. Badouel, E.; Darondeau, P.: Theory of regions. In: W. Reisig, G. Rozenberg (Eds.): Lecture Notes on Petri Nets, Part 1 (Basic Models), LNCS 1491, Springer-Verlag Berlin Heidelberg 1998, pp.529-586
10. van Dongen, B.F.; Desel, J.; van der Aalst, W.M.P.: Aggregating causal runs to workflow nets. Submitted paper (2005)
11. Desel, J.; Erwin, T.: Hybrid workflows: looking at workflows from a run-time perspective. Computer Systems Science and Engineering 5:291-302, 2000
12. Desel, J.; Juhás, G.; Lorenz, R.; Milijic, V.; Neumair, C.; Schieber, R.: Modellierung von Steuerungssystemen mit Signal-Petrinetzen: Eine Fallstudie aus der Automobil- industrie. In: E. Schnieder (Hrsg.): Entwurf komplexer Automatisierungssysteme (EKA 2003), Universität Braunschweig, pp.273-295 (2003)
13. Desel, J.; Hanisch, H.-M.; Juhás, G.; Lorenz, R.; Neumair, C.: A guide to modelling and control with modules of signal nets. In: H. Ehrig et. al.: Integration of Software Specification Techniques for Applications in Engineering. LNCS 3147, Springer-Verlag Berlin Heidelberg 2004, pp.270-300 (2004)
14. Desel, J.; Milijic, M; Neumair, C: Model validation in controller design. In: J. Desel, W. Reisig, G. Rozenberg (Eds.): Lectures on Concurrency and Petri Nets. LNCS 3098, Springer-Verlag Berlin Heidelberg 2004, pp.467 -495
15. Desel, J.; Reisig, W.: The synthesis problem of Petri nets. Acta Informatica 33:297-315 (1996)
16. Ehrenfeucht, A.; Rozenberg, G.: Partial (Set) 2.Structures -Part 1 and Part 2. Acta Informatica 27(4):315-368 (1989)
17. Reisig, W.: Elements of Distributed Algorithms. Springer-Verlag (1998)
18. Smith, E.: On net systems generated by process foldings. In: G. Rozenberg (Ed.): Advances in Petri Nets, LNCS 524, Springer-Verlag Berlin Heidelberg 1991, pp.253-246
19. Robert V. Binder. Testing Object-Oriented Systems: Models, Patterns, and Tools. Ob- ject Technology Series. Addison Wesley, 1999.
20. Conformiq Software Ltd. Conformiq Test Generator. http://www.conformiq.com/.
21. DKvK + 02] Christian Denger, Daniel Kerkow, Antje von Knethen, Maricel Medina Mora und Bar- bara Paech. Richtlinien -Von Use Cases zu Statecharts in 7 Schritten. IESE-Report Nr. 086.02/D, Fraunhofer IESE, 2002.
22. Christophe Gaston und Dirk Seifert. Evalutating Coverage Based Testing. In Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker und Alexander Pretschner, Hrsg., Model-Based Testing of Reactive Systems, Jgg. 3472 of Lecture Notes in Com- puter Science, Seiten 293-322. Springer Verlag Berlin Heidelberg, 2005.
23. Frank Houdek und Barbara Paech. Das Türsteuergerät -eine Beispielspezifikation. IESE-Report Nr. 002.02/D, Fraunhofer IESE, 2002.
24. I-Logix. Rhapsody Automatic Test Generator (ATG). http://www.ilogix.com/.
25. Peter Liggesmeyer. Software-Qualität: Testen, Analysieren und Verifizieren von Soft- ware. Spektrum Akadamischer Verlag, 2002.
26. Eckard Lehmann und Joachim Wegener. Test Case Design by Means of the CTE XL. Proceedings of the 8th European International Conference on Software Testing, Analysis & Review (EuroSTAR 2000), Kopenhagen, Denmark, December 2000.
27. R. M. Poston. Automating Specification-Based Software Testing. IEEE Computer Society, Los Alamitos, 1st. Auflage, 1996.
28. Reactive Systems Inc. Reactis. http://www.reactive-systems.com/.
29. References [BGH + 05] Sven Burmester, Holger Giese, Martin Hirsch, Daniela Schilling, and Matthias Tichy. The Fujaba Real-Time Tool Suite: Model-Driven Development of Safety-Critical, Real-Time Systems. In Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, USA, May 2005.
30. GTB + 03] H. Giese, M. Tichy, S. Burmester, W. Schäfer, and S. Flake. Towards the Compositional Verification of Real-Time UML Designs. In Proc. of the European Software Engineering Conference (ESEC), Helsinki, Finland, pages 38-47. ACM Press, September 2003.
31. OMG. UML 2.0 Superstructure Specification. Object Management Group, 2003. Docu- ment ptc/03-08-02.
32. Robert Bosch GmbH. ACC Adaptive Cruise Control, 2003. References
33. D. Angluin. Learning regular sets from queries and counterexamples. Information and Com- putation, 2(75):87-106, 1987.
34. T. Berg, O. Grinchtein, B. Jonsson, M. Leucker, H. Raffelt, B. Steffen: On the Correspon- dence Between Conformance Testing and Regular Inference, Proc. FASE 2005, 8th Int. Conf. on Fundamental Approaches to Software Engineering, Edinburgh, UK, April 2005, LNCS N.3442, pp. 175-189, Springer Verlag, 2005.
35. Y. Brun, M. D. Ernst. Finding latent code errors via machine learning over program executions Proc. 26th Int. Conf. on Software Engineering (ICSE'04), pp. 480-490, May 2004
36. M. J. Butler. csp2B : A Practical Approach To Combining CSP and B. Declarative Systems and Software Engineering Group, Department of Electronics and Computer Science, University of Southampton, February 1999.
37. J. E. Cook, Z. Du, C. Liu, A. L. Wolf. Discovering Models of Behavior for Concurrent Systems Tech. rep. New Mexico State University, Dept. of Computer Science, Aug. 2002
38. J. E. Cook, A. L. Wolf Discovering Models of Software Processes from Event-Based Data ACM Trans. on Software Engineering and Methodology (TOSEM) pp. 215-249, 1998
39. S. A. Curtis, J. Mica, J. Nuth, G. Marr, M. L. Rilee, and M. K. Bhat. ANTS (Autonomous Nano-Technology Swarm): An artificial intelligence approach to Asteroid Belt resource ex- ploration. In Proc. Int'l Astronautical Federation, 51st Congress, October 2000.
40. M. D. Ernst, A. Czeisler, W. G. Griswold, D. Notkin. Quickly detecting relevant program invariants In proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), 449-458, June 2000.
41. Failures-Divergences Refinement: User Manual and Tutorial. Formal Systems (Europe), Ltd., 1999.
42. A. Hagerer, H. Hungar, O. Niese, and B. Steffen. Model Generation by Moderated Regular Extrapolation. Proc. of the 5th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2002), LNCS 2306, pp. 80-95.
43. D. Harel, H. Kugler, G. Weiss: Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach, in "Scenarios: Models, Transformations and Tools: International Workshop", Dagstuhl, Sept. 2003. LNCS 3466, pp. 26-41.
44. M. G. Hinchey and S. A. Jarvis. Concurrent Systems: Formal Development in CSP. Interna- tional Series in Software Engineering. McGraw-Hill International, London, UK, 1995.
45. Michael G. Hinchey, James L. Rash, Christopher A. Rouff: A Formal Approach to Requirements-Based Programming, Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineer- ing of Computer-Based Systems, Greenbelt (MD), 2005, IEEE, pp. 339-345.
46. P. Hopcroft, G. Broadfoot. Combining the Box Structure Development Method and CSP, ASE'04, 19th IEEE Int. Conf. on Automated Software Engineering, 2004, pp. 340-345.
47. H. Hungar, T. Margaria, B. Steffen: Test-Based Model Generation for Legacy Systems, IEEE International Test Conference (ITC), Charlotte, NC, September 30 -October 2, 2003.
48. M. Kaufmann and Panagiotis Manolios and J Strother Moore. Computer-Aided Reasoning: An Approach. Advances in Formal Methods Series. Kluwer Academic Publishers, Boston, 2000.
49. T. Margaria, H. Raffelt, B. Steffen: Analyzing Second-Order Effects Between Optimizations for System-Level Test-Based Model Generation, Proc. IEEE International Test Conference (ITC), Austin, TX (USA), November 8 -10, 2005, IEEE Computer Society Press.
50. T. Margaria, O. Niese, H. Raffelt, and B. Steffen Efficient Test-based Model Generationfor Legacy Reactive Systems. To appear in Proceedings of International High Level Design Vali- dation and Test Workshop, 2004 Sonoma, California.
51. L. Mariani, Mauro Pezzè. A technique for verifying component-based software Proceeding of the Int. Workshop on Test and Analysis of Component Based Systems, TACOS 2004, Barcelona, March 2004
52. J. W. Nimmer, M. D. Ernst. Automatic generation of program specifications In Proceedings of the 2002 International Symposium on Software Testing and Analysis (ISSTA 2002), 232-242, July 2002
53. D. Peled, M. Y. Vardi, M. Yannakakis Black Box Checking Formal Methods for Protocol Engineering and Distributed Systems, (FORTE/PSTV), pp. 225-240, 1999, Kluwer.
54. H. Raffelt, B. Steffen, T. Berg: LearnLib: A Library for Automata Learning and Experimen- tation, Proc. FMICS 2005, 10th ACM Workshop on Formal Methods for Industrial Critical Systems, Lisbon, Sept. 2005.
55. B. Steffen and H. Hungar, Behavior-based model construction. In S. Mukhopadhyay and L. Zuck, editors, Proc. 4th Int. Conf. on Verification, Model Checking and Abstract Interpretation, LNCS 2575, Springer 2003.
56. T. Xie, D. Notkin Mutually Enhancing Test Generation and Specification Inference. In Pro- ceedings of 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003), LNCS Vol. 2931, Springer, pp. 60-69, Oct. 2003. References
57. K. Diethers, U. Goltz, and M. Huhn. Model Checking UML Statecharts with Time. In UML 2002, Workshop on Critical Systems Development with UML, 2002.
58. A. Engels, L. Feijs, and S. Mauw. Test generation for intelligent networks using model checking. In Tools and Algorithms for the Construction and Analysis of Sys- tems, 1997.
59. M.R. Garey and D.S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman and Company, 1979.
60. Mats P.E. Heimdahl, George Devaraj, and Robert J. Weber. Specification Test Cov- erage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? In Proceedings of the 8th IEEE International Symposium on High Assurance Systems Engineering (HASE), Tampa, Florida, March 2004.
61. A. Hessel, K. Larsen, B. Nielsen, P. Pettersson, and A. Skou. Time-Optimal Test Cases for Real-Time Systems. In Workshop on Formal Modeling and Analysis of Timed Systems, 2003.
62. H. Hong, I. Lee, O. Sokolsky, and S. Cha. Automatic Test Generation from Stat- echarts Using Model Checking. In Workshop on Formal Approaches to Testing of Software (FATES), pages 15-30, 2001.
63. K. N. King and A. Jefferson Offutt. A Fortran language system for mutation-based software testing. Software-Practice & Experience, 21(7):685-718, 1991.
64. Kim Guldstrand Larsen, Paul Pettersson, and Wang Yi. UPPAAL in a Nutshell. International Journal on Software Tools for Technology Transfer, 1(1-2):134-152, 1997.
65. Tilo Mücke and Michaela Huhn. Generation of Optimized Testsuites for UML State- charts with Time. In Roland Groz and Robert M. Hierons, editors, TestCom, volume 2978 of LNCS, pages 128-143. Springer, 2004.
66. Tilo Mücke and Michaela Huhn. Minimizing Test Execution Time During Test Gen- eration, 2005. submitted.
67. Tilo Mücke and Michaela Huhn. Optimising Test Execution Times in Test Suite Gen- eration. In Informatik 2005 -Workshop Modellbasierte Qualitätssicherung (QUAM 2005), Bonn, Germany, September 2005.
68. OMG. Unified Modeling Language Specification, 2003. Version 1.5.
69. Jeff Offutt, Jie Pan, and Jeff Voas. Procedures for Reducing the Size of Coverage- based Test Sets. In Proceedings of the Twelfth International Conference on Testing Computer Software, pages 111-123, 1995.
70. P.G. Paulin and J.P. Knight. Force-directed Scheduling for the Behavioural Synthesis of ASICs. IEEE Trans. on Computer-Aided Design, 8(6):661-679, 1989.
71. A. Pretschner. Classical search strategies for test case generation with Constraint Logic Programming. In Workshop on Formal Approaches to Testing of Software (FATES), pages 47-60, 2001.
72. S. Rayadurgan and M. Heimdahl. Coverage Based Test-Case Generation using Model Checkers. In Intl. Conf. and Workshop on the Engineering of Computer Based Sys- tems, pages 83-93, 2001.
73. Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, and Ursula Goltz. Generating optimal distinguishing sequences with a model checker. In A-MOST '05: Proceedings of the 1st International Workshop on Advances in Model-based Testing, pages 1-7, New York, NY, USA, 2005. ACM Press.
74. Tatiana Sugeta, José Carlos Maldonado, and W. Eric Wong. Mutation Testing Applied to Validate SDL Specifications. In Roland Groz and Robert M. Hierons, editors, TestCom, volume 2978 of LNCS, pages 193-208. Springer, 2004.
75. VDI. Design methodology for mechatronic systems, 2004. VDI 2206.
76. Arnold, K. et al.: The Jini specification. Addison-Wesley, 1999.
77. Bellows, P.; Hutchings, B. L.: JHDL -An HDL for Reconfigurable Systems. In: Proceedings of FCCM '98, Napa Valley, 1998.
78. Harada, H.; Prasad, R.: Simulation and software radio for mobile communication. Artech House Publishers, 2002.
79. Indrusiak, L. S. et al.: Ubiquitous Access to Reconfigurable Hardware: Application Scenarios and Implementation Issues. In: Design Automation and Test in Europe - Proceedings, München, 2003. IEEE Computer Society Press, 2003. p. 940-945.
80. Indrusiak, L. S.; Prudencio, R. B.; Glesner, M.: Modeling and Prototyping of Communication Systems Using Java: A Case Study. In: IEEE International Workshop on Rapid System Prototyping -Proceedings, Montreal 2005. IEEE Computer Society Press, 2005. p. 225-231.
81. Lee, E. A. et al. : Heterogeneous Concurrent Modeling and Design in Java. Technical Memorandum UCB/ERL M04/27. UC Berkeley, 2004.
82. Lee, E.A.; Neuendorffer, S.; Wirthlin, M.J.: Actor-Oriented Design of Embedded Hardware and Software Systems. Journal of Circuits, Systems, and Computers, v. 12, n. 3, p. 231-260, 2003.
83. Oróstegui, D. F. J.; Indrusiak, L. S.; Glesner, M.: Proxy-Based Integration of Reconfigurable Hardware Within Simulation Environments. In: Microelectronic Systems Education -Proceedings, Anaheim, 2005. IEEE Computer Society Press, 2005. p. 59 -60.
84. Patel, H. D.; Shukla, S. K.: SystemC Kernel Extensions for Heterogeneous System Modeling: A Framework for Multi-MoC Modeling and Simulation, Kluwer Academic Publishers, Boston, 2004.
85. Marius Bozga, Susanne Graf, and L. Mounier. IF-2.0: A Validation Environment for Component-Based Real-Time Systems. In Proceedings of Conference on Computer Aided Verification, CAV'02, Copenhagen, number 2404 in LNCS. Springer Verlag, June 2002.
86. BGO + 04] Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, and Joseph Sifakis. The IF toolset. In SFM-04:RT 4th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time, number 3185 in LNCS, June 2004.
87. S. Bornot and J. Sifakis. Relating Time Progress and Deadlines in Hybrid Systems. In International Workshop, HART'97, Grenoble, LNCS 1201, pages 286-300. Spinger Verlag, March 1997.
88. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. Information Processing Letters, 40(5):269-276, 1992.
89. Werner Damm, Bernhard Josko, Amir Pnueli, and Angelika Votintseva. Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. In Frank de Boer, Marcello Bon- sangue, Susanne Graf, and Willem-Paul de Roever, editors, Proceedings of the 1st Symposium on Formal Methods for Components and Objects (FMCO 2002), volume 2852 of LNCS Tutorials, pages 70-98, 2003.
90. Werner Damm, Bernhard Josko, Amir Pnueli, and Angelika Votintseva. A discrete-time UML semantics for concurrency and communication in safety-critical applications. Science of Computer Programming, 2005. (to appear).
91. Susanne Graf, Ileana Ober, and Iulian Ober. Timed annotations in UML. STTT, Int. Journal on Software Tools for Technology Transfer, 2005. under press.
92. Iulian Ober, Susanne Graf, and David Lessens. A case study in UML model-based dynamic validation: the Ariane-5 launcher software. submitted, 2005.
93. Iulian Ober, Susanne Graf, and Ileana Ober. Validating timed UML models by simulation and verification. STTT, Int. Journal on Software Tools for Technology Transfer, 2004, 2005. Under press.
94. OMG. Response to the OMG RFP For Schedulability, Performance and Time, v. 2.0. OMG document ad/2002-03-04, March 2002.
95. A. Belinfante, J. Feenstra, R. d. Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, L. Heerink : Formal test automation: A simple experiment. Proc. 12th Intl. workshop on Testing of Com- municating Systems, S. 179-196, 1999
96. A. Belinfante, L. Frantzen, C. Schallhart: Tools for Test Case Generation. [6], S. 391-438
97. E. Bernard, B. Legeard, X. Luck, F. Peureux: Generation of test sequences from formal speci- fications: GSM 11.11 standard case-study, SW Practice&Experience 34 (10):915-948, 2004
98. R. Binder: Testing Object-Oriented Systems: Models, Patterns&Tools. Addison Wesley, 1999
99. M. Blackburn, R. Busser, A. Nauman: Why model-based test automation is different and what you should know to get started. Proc. Intl. Conf. on Practical SW Quality and Testing, 2004
100. M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A. Pretschner (Hrsg.): Model-Based Test- ing-a tutorial volume. Springer LNCS 3472, 2005
101. O. Buehler, J. Wegener: Automatic testing of an autonomous parking system using evolution- ary computation. SAE world congress, 2004.
102. J. Clarke: Automated Test Gen. from Behavioral Models. Proc.11 th SW Quality Week, 1998
103. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva: Automated Test and Oracle Generation for Smart-Card Applications. Proc. E-smart, S. 58-70, 2001
104. I. Craggs, M. Sardis, T. Heuillard: AGEDIS Case Studies: Model-Based Testing in Industry. Proc. 1st Eur. Conference on Model Driven Software Engineering,S. 129-132, 2003
105. S. Dalal, A. Jain, N. Karunanithi, J. Leaton, C. Lott, G. Patton, B. Horowitz: Model-based testing in practice. Proc. ICSE'99, S. 285-294, 1999
106. J. Dushina, M. Benjamin, D. Geist: Semi-formal test generation with Genevieve. Proc. 38 th conf. on Design automation, S. 617-622, 2001
107. A. Endres, D. Rombach: A Handbook of Software and Systems Engineering. Add Wes, 2003
108. M. Fagan: Reviews and Inspections. In Software Pioneers-Contributions to Software Engineering, Springer, S. 562-273, 2002
109. E. Farchi, A. Hartman, S. Pinter: Using a model-based test generator to test for standard conformance. IBM Systems Journal 41 (1):89-110, 2002
110. L. Fournier, A. Koyfman, M. Levinger: Developing an Architecture Validation Suite: Appli- cation to the PowerPC Architecture. Proc. 36th ACM Design Automation Conference, S. 189-194, 1999
111. M. Horstmann, W. Prenninger, M. El-Ramly: Case Studies. [6], S.439-461
112. H. Kahlouche, C. Viho, M. Zendri: An industrial experiment in automatic generation of executable test suites for a cache coherency protocol. Proc. IFIP TC6 11th Intl. Workshop on Testing Communication Systems, S. 211-226, 1998
113. J. Musa: Software Reliability Engineering. Author House, 2. Auflage, 2004
114. J. Philipps, A. Pretschner, O. Slotosch, E. Aiglstorfer, S. Kriebel, K. Scholl: Model-based test case generation for smart cards. Proc. 8th Intl. Workshop on Formal Methods for Industrial Critical Systems, S. 168-192, 2003
115. W. Prenninger, A. Pretschner: Abstractions in Model-Based Testing. ENTCS 116:59-71, 2005
116. A. Pretschner: Model-Based Testing in Practice. Proc. FM'2005, S. 537-541, 2005
117. A. Pretschner, J. Philipps: Methodological Issues in Model-Based Testing. [6], S. 281-291
118. A. Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner, B. Sostawa, R. Zölch, T. Stauner: One Evaluation of MBT and its Automation. Proc. ICSE 2005, S.392-401
119. J. Shen, J. Abraham: An RTL Abstraction Technique for Processor Micorarchitecture Valida- tion and Test Generation. J. Electronic Testing: Theory&Application 16 (1-2):67-81, 1999
120. H. Stachowiak: Allgemeine Modelltheorie. Springer, 1973
121. M. Utting, A. Pretschner, B. Legeard: A Taxonomy of Model-Based Testing. Eingereicht bei J. Information and Software Technology, 2005
122. G. Walton, J. Poore: Generating transition probabilities to support model-based software testing. Software: Practice and Experience 30(10):1095-1106, 2000
123. H. Zhu, P. Hall, J. May: Software Unit Test Coverage and Adequacy. ACM Computing Sur- veys 29:366-427, 1997
124. References
125. E. Bonabeau, M. Dorigo, and G. Theraulaz. Swarm Intelligence: From Natural to Artificial Systems. Oxford University Press, New York, NY, 1999.
126. Krishnamoorthy Baskaran, Wu Jigang, and Thamipillai Srikanthan. Hardware Par- titioning Algorithm for Reconfigurable Operating System in Embedded Systems. In Sixth Real-Time Linux Workshop, 2004.
127. C. Böke. Automatic Configuration of Real-Time Operating Systems and Real-Time Communication Systems for Distributed Embedded Applications. Phd thesis, Paderborn University, Paderborn, Germany, 2003.
128. C. Ditze. Towards Operating System Synthesis. Phd thesis, Paderborn University, Paderborn, Germany, 1999.
129. J. Hill et al. System architecture directions for networked sensors. In Proc. of the 9th int. conf. on architectural support for programming languages and OS, 2000.
130. Marcelo Götz. Dynamic Hardware-Software Codesign of a Reconfigurable Real-Time Operating System. In ReConFig. Mexican Society of Computer Science, 2004.
131. Marcelo Götz, Achim Rettberg, and Carlos E. Pereira. Towards Run-time Partitioning of a Real Time Operating System for Reconfigurable Systems on Chip. In Proc. of IESS, Manaus, Brazil, 2005.
132. J. Harkin, T. M. McGinnity, and L. P. Maguire. Modeling and optimizing run-time reconfiguration using evolutionary computation. Trans. on Embedded Computing Sys., 2004.
133. T. Heimfarth and A. Rettberg. NanoOS -Reconfigurable OS for Embedded Mobile Devices. In In Proc. of the International Workshop on Dependable Embedded Systems, Florianopolis, Brazil, 2004.
134. H. Massalin. Synthesis: An Efficient Implementation of Fundamental Operating System Services. Phd thesis, Columbia University, 1992.
135. MNC + 03] Jean-Yves Mignolet, Vincent Nollet, Paul Coene, Diederik Verkest, Serge Vernalde, and Rudy Lauwereins. Infrastructure for Design and Management of Relocatable Tasks in a Heterogeneous Reconfigurable System-on-Chip. In DATE, 2003.
136. V. Nollet, P. Coene, D. Verkest, S. Vernalde, and R. Lauwereins. Designing an Operat- ing System for a Heterogeneous Reconfigurable SoC. In Proc. of IPDPS, 2003.
137. S. Oberthür and C. Böke. Flexible Resource Management -A framework for self- optimizing real-time systems. In B. Kleinjohann, Guang R. Gao, H. Kopetz, L. Klein- johann, and A. Rettberg, editors, Proc. of IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES'04). Kluwer Academic Publishers, 23 -26 August 2004.
138. S. Oberthür, C. Böke, and B. Griese. Dynamic Online Reconfiguration for Customiz- able and Self-Optimizing Operating Systems. In Proc. of the 5th ACM international conference on Embedded software (EMSOFT'2005), pages 335-338, 18 -22 Septem- ber 2005. Jersey City, New Jersey.
139. SAH + 03] C. Soules, J. Appavoo, K. Hui, D. Silva, G. Ganger, O. Krieger, M. Stumm, R. Wis- niewski, M. Auslander, M. Ostrowski, B. Rosenburg, and J. Xenidis. System Support for Online Reconfiguration, 2003.
140. Wind River Systems. VxWorks 5.4 -Product Overview, June 1999.
141. Grant Wigley and David Kearney. The Development of an Operating System for Re- configurable Computing. In FCCM, 2001.
142. Y. Yokote. The Apertos Reflextive Operating System: The Concept and Its Implemen- tation. In OOPSLA Proceedings, 1992. References [BBR + 05] A. Bauer, M. Broy, J. Romberg, Bernhard Schätz, P. Braun, U. Freund, N. Mata, R. Sandner, and D. Ziegenbein. AutoMoDe: Notations, Methods, and Tools for Model-Based Development of Automotive Software. In Proceedings of the 2005 SAE World Congress, Detroit, MI, 2005. Society of Automotive Engineers.
143. BCE + 03] A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. De Simone. The Synchronous Languages Twelve Years Later. Proceedings of the IEEE, 2003.
144. A. Benveniste. Some synchronization issues when designing embedded sys- tems from components. In Proceedings of 2001 Workshop on Embedded Software, EMSOFT'01, volume 2211 of LNCS, pages 32-49, 2001.
145. CCM + 03] P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis, and P. Niebert. From Simulink to SCADE/Lustre to TTA: A layered approach for distributed embed- ded applications. In Proceedings of the 2003 ACM SIGPLAN conference on Lan- guages, Compilers, and Tools for Embedded Systems, pages 153-162. ACM Press, 2003.
146. L.A.J. Dohmen and L.J. Somers. Experiences and Lessons Learned Using UML- RT to Develop Embedded Printer Software. In M. Oivo and S. Komi-Sirviö, ed- itors, Proceedings of PROFES 2002, volume 2559 of LNCS, pages 475-484, 2002.
147. Software Tools Heading Mainstream. The Hansen Report on Automotive Electron- ics, July/August 2003.
148. N. Halbwachs, P. Raymond, and C. Ratel. Generating Efficient Code from Data- Flow Programs. In Proceedings of the Third International Symposium on Program- ming Language Implementation and Logic Programming, Passau, Germany, 1991. Springer Verlag.
149. Object Management Group. Unified Modeling Language (UML) Superstructure, August 2005. Version 2.0 formal/05-07-04.
150. S. Poledna, Th. Mocken, J. Schiemann, and Th. Beck. ERCOS: An Operating System for Automotive Applications. Research Report 21/1996, Technische Universität Wien, Institut für Technische Informatik, 1996.
151. J. Romberg and A. Bauer. Loose Synchronization of Event-Triggered Networks for Distribution of Synchronous Programs. In Proceedings 4th ACM International Conference on Embedded Software, Pisa, Italy, September 2004.
152. B. Selic. The Pragmatics of Model-Driven Development. IEEE Software, 20(5):19-25, 2003.
153. M. Saksena, A. Ptak, P. Freedman, and P. Rodziewicz. Schedulability analysis for automated implementations of real-time object-oriented models. In IEEE Real-Time Systems Symposium, 1998.
154. SRS + 03] B. Schätz, J. Romberg, M. Strecker, O. Slotosch, and K. Spies. Modeling Em- bedded Software: State of the Art and Beyond. In Proceedings of ICSSEA 2003 16th International Conference on Software and Systems Engineering and their Appli- cations, 2003.
155. E. Lehmann: Time Partition Testing, Systematischer Test des kontinuierlichen Verhaltens von eingebetteten Systemen, Promotion, Technischen Universität Berlin, November 2003.
156. ControlDesk Test Automation Guide For ControlDesk Version 1.2. dSPACE GmbH, Paderborn (D), Sept. 1999
157. B. Tettenborn, A, Leuze, S. Meißner: PXI basierendes Funktionstestsystem für Motorsteuergeräte im Rennsport, White Paper, May 2004.
158. F. Tränkle: Testing Automotive Software with TTCN-3, 2 nd TTCN-3 User Conference, June 6-8, 2005, Sophia Antipolis, France.
159. M. Grochtmann, K. Grimm, J. Wegener: Tool-Supported Test Case Design for Black-Box Testing by Means of the Classification-Tree Editor. Proc. of 1. European Int. Conf. on Software Testing, Analysis and Re-view (EuroSTAR '93), London (GB), S. 169-176, Oct. 1993
160. M. Conrad. Modell-basierter Test eingebetteter Software im Automobil: Auswahl und Beschreibung von Testszenarien. Dissertation, Deutscher Universitätsverlag, Wiesbaden (D), 2004
161. K. Lamberg, M. Beine, M. Eschmann, R. Otterbach, M. Conrad, I. Fey: Model-based Testing of Embedded Automotive Software using MTest. SAE World Congress 2004, Detroit (US), März 2004
162. ETSI : TTCN-3 Homepage, http://www.ttcn-3.org, June 2005.
163. ETSI ES 201 873-1 V3.1.1, Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language, Sophia Antipolis, France, July 2005.
164. J. Zander, Z.R. Dai, I. Schieferdecker, G. Din: From U2TP Models to Executable Tests with TTCN-3 -An Approach to Model Driven Testing, TestCom'05, Canada, Montreal.
165. M. Broy. Refinement of Time. In Transformation-Based Reactive System Development, LNCS 1231, Springer-Verlag, 1997.
166. Testing Technologies IST GmbH: TTworkbench v1.3, http://www.testingtech.de, Oct. 2005. Literaturverweise
167. K. Czarnecki, S. Helsen: Classification of Model Transformation Approaches. OOPSLA 2003 Workshop on Generative Techniques in the Context of MDA (2003).
168. H. Dörr, A. Schürr: Special Section on Tool Integration Application and Frameworks, Int. Journal on Software Tools for Technology Transfer (STTT), Vol. 6-3, Springer Verlag, (2004), 183-255.
169. A. Königs, A. Schürr: MDI -a Rule-Based Multi-Document and Tool Integration Approach, Special Section on Model-based Tool Integration in Journal of Software and Systems Modeling (SOSYM), Academic Press (2005). Note: accepted for publication.
170. A. Königs, A. Schürr: Tool Integration with Triple Graph Grammars -A Survey, Proceedings of the SegraVis School on Foundations of Visual Modelling Techniques, in: Electronic Notes in Theoretical Computer Science, Academic Press (2005), Note: accepted for publication.
171. H. Kozankiewicz, K. Subieta: SBQL Views -Prototype of Updateable Views. ADBIS 2004 (http://www.sigmod.org/dblp//db/conf/adbis/adbis2004l.html).
172. H. Kühn, M. Murzek.: Interoperability Issues in Metamodelling Platforms. Proc. 1st Int. Conf. on Interoperability of Enterprise Software and Applications (2005).
173. P. McBrien and A. Poulovassilis: Defining Peer-to-Peer Data Integration using Both as View Rules. Proc. Workshop on Databases, Information Systems and Peer-to-Peer Computing, at VLDB'03, 91-107.
174. P. McBrien, A. Poulovassilis: Data Integration by Bi-Directional Schema Transformation Rules. ICDE 2003, 227-238.
175. C. Nentwich, L. Capra, W. Emmerich, A. Finkelstein: xlinkit: a Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2(2), 151-185.
176. QVT Merge Group: Revised Submission for MOF 2.0 Query, View, Transformation Request For Proposal (ad/2005-03-02), Version 2.0.
177. T. Risch, V. Josifovski, T.Katchaounov: Functional Data Integration in a Distributed Mediator System. P. Gray, L. Kerschberg, P.King, A. Poulovassilis (eds.): Functional Approach to Data Management -Modeling, Analyzing and Integrating Heterogeneous Data, Springer Verlag (2003).
178. A. Schürr, H. Dörr (eds.): Special Section on Model-based Tool Integration; Int. Journal on Software and Systems Modeling (SOSYM), Vol. 4-2, Springer Verlag (2004), 109-170.
179. A. Schürrr, J. Jakob: View creation of meta models by using modified Triple Graph Grammars. submitted for publication.
180. S. Sendall, W. Kozaczynksi: Model Transformation: The Heart and the Soul of Model-Driven Software Development. Vol. 20, No. 5, IEEE Software (2003), 42- 45. 129 Reference model for block test case (Figure 5) for the considered block test case (Figure References
181. Bienmüller T., Brockmeyer U., Sandmann G., Automatic Validation of Simulink/ Stateflow Models, Formal Verification of Safety-Critical Requirements, 2004, Stuttgart
182. Bouali A., Dion B., Konishi K., Using Formal Verification in Real-time Embedded Software Development, JSAE 2005
183. Borland Together 2006 -http://www.borland.com/downloads/download_together.html
184. Conrad M., Fey I., Sadeghipour S., Systematic Model-Based Testing of Embedded Control Software: The MB3T Approach, Edinburgh, May 25th, 2004, ICSE 2004
185. Conrad M., A Systematic Approach to Testing Automotive Control Software, Convergence Transportation Electronics Association 2004
186. MLIB, http://www.dspace.de/ftp/patches/NFMG/SfC32/NewFeaturesAndMigration.pdf
187. Dai Z.R., Schieferdecker I.: Time Concepts for UML 2.0 Based Testing. SIVOES 2004, RTAS 2004, Toronto, Canada, May 2004 [Eclipse] Eclipse Platform: http://www.eclipse.org/platform/
188. Eclipse Modelling Framework: http://www.eclipse.org/emf/
189. Henry J., Automation: The Key to Improving Testing in the Maintenance of Real-time Systems, Submission of a Position Paper for WESS 2000, University of Montana [IKV] IKV++ Technologies, medini MM tool, http://www.ikv.de/
190. Lee E. A., Actor-Oriented Design: A focus on domain-specific languages for embedded systems, MEMOCODE'2004, San Diego, California, 2004
191. Lehmann E., Time Partition Testing: A Method for Testing Dynamic Functional Behaviour, TEST2000, London, UK, 2000
192. Lee E. A., Neuendorffer S; Concurrent Models of Computation for Embedded Software, TM UCB/ERL M04/26, University of California, Berkeley, CA 94720, July 22, 2004
193. Mathworks, Matlab/Simulink/Stateflow, http://www.mathworks.com/products/matlab/
194. OMG: Model-Driven Architecture (MDA), http://www.omg.org/docs/omg/03-06-01.pdf
195. OMG: MOF, v1.4, http://www.omg.org/technology/documents/formal/mof.htm
196. Neema S., Karsai G., Embedded Control Systems Language for Distributed Processing (ECSL-DP), Vanderbilt University, ISIS-04-505, 2003-2004
197. OMG: MOF Query/Views/Transformations, 2nd Revised Submission, ad/04-01-06 [Reactis] Reactis Tester Tool, http://www.reactive-systems.com/tester.msp
198. Schieferdecker I., Din G.: A meta-model for TTCN-3. 1st International Workshop on Integration of Testing Methodologies, ITM 2004, Toledo, Spain, Oct. 2004.
199. Steel J., Lawley M., Model-Based Test Driven Development of the Tefkat Model- Transformation Engine, ISSRE 2004, pp. 151-160
200. OMG: UML 2.0 Testing Profile. Final Adopted Specification, ptc/04-04-02, 2004
201. IABG: Das V-Modell-Entwicklungsstandard für IT-Systeme des Bundes, Vorgehensmodell, Kurzbeschreibung, 1997, http://www.v-modell.iabg.de/ [ZDS + 05]Zander J., Dai Z. R., Schieferdecker I., Din G., From U2TP Models to Executable Tests with TTCN-3 -An Approach to Model Driven Testing, Canada, Montreal, TestCom'05
202. Technische Universität Braunschweig Informatik-Berichte ab Nr. 2002-04 2002-04 H. G. Matthies, J. Steindorf Partitioned Strong Coupling Algorithms for Fluid-Structure-Interaction 2002-05 H. G. Matthies, J. Steindorf Partitioned but Strongly Coupled Iteration Schemes for Nonlinear Fluid-Structure Interaction 2002-06 H. G. Matthies, J. Steindorf Strong Coupling Methods 2002-07 H. Firley, U. Goltz Property Preserving Abstraction for Software Verification 2003-01 M. Meyer, H. G. Matthies Efficient Model Reduction in Non-linear Dynamics Using the Karhunen-Loève Expansion and Dual-Weighted-Residual Methods 2003-02 C. Täubner Modellierung des Ethylen-Pathways mit UML-Statecharts 2003-03 T.-P. Fries, H. G. Matthies Classification and Overview of Meshfree Methods 2003-04 A. Keese, H. G. Matthies Fragen der numerischen Integration bei stochastischen finiten Elementen für nichtlineare Probleme 2003-05 A. Keese, H. G. Matthies Numerical Methods and Smolyak Quadrature for Nonlinear Stochastic Partial Differential Equations 2003-06 A. Keese A Review of Recent Developments in the Numerical Solution of Stochastic Partial Differential Equations (Stochastic Finite Elements) 2003-07 M. Meyer, H. G. Matthies State-Space Representation of Instationary Two-Dimensional Airfoil Aerodynamics 2003-08 H. G. Matthies, A. Keese Galerkin Methods for Linear and Nonlinear Elliptic Stochastic Partial Differential Equations 2003-09 A. Keese, H. G. Matthies Parallel Computation of Stochastic Groundwater Flow 2003-10 M. Mutz, M. Huhn Automated Statechart Analysis for User-defined Design Rules 2004-01 T.-P. Fries, H. G. Matthies A Review of Petrov-Galerkin Stabilization Approaches and an Extension to Meshfree Methods 2004-02 B. Mathiak, S. Eckstein Automatische Lernverfahren zur Analyse von biomedizinischer Literatur 2005-01 T. Klein, B. Rumpe, B. Schätz (Herausgeber) Tagungsband des Dagstuhl-Workshop MBEES 2005: Modellbasierte Entwicklung eingebetteter Systeme 2005-02 T.-P. Fries, H. G. Matthies A Stabilized and Coupled Meshfree/Meshbased Method for the Incompressible Navier-Stokes Equations -Part I: Stabilization 2005-03 T.-P. Fries, H. G. Matthies A Stabilized and Coupled Meshfree/Meshbased Method for the Incompressible Navier-Stokes Equations -Part II: Coupling 2005-04 H. Krahn, B. Rumpe Evolution von Software-Architekturen 2005-05 O. Kayser-Herold, H. G. Matthies Least-Squares FEM, Literature Review 2005-06 T. Mücke, U. Goltz Single Run Coverage Criteria subsume EX-Weak Mutation Coverage 2005-07 T. Mücke, M. Huhn Minimizing Test Execution Time During Test Generation 2005-08 B. Florentz, M. Huhn A Metamodel for Architecture Evaluation 2006-01 H. Giese, B. Rumpe, B. Schätz (Herausgeber) Tagungsband des Dagstuhl-Workshop MBEES 2006: Modellbasierte Entwicklung eingebetteter Systeme II