Prototype-based tests for hybrid reactive systems

Proceedings of the International Workshop on Rapid System Prototyping

Volumn 2003-January, Issue , 2003, Pages 78-84

  Hahn, G ^a   Philipps, J ^a   Pretschner, A ^b   Stauner, T ^c  

^a Validas Model Validation AG ^*  (Germany)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^c BMW Car IT GmbH   (Germany)

Author keywords

Automatic testing; Automotive engineering; Concrete; Control systems; Design engineering; Mathematical model; Prototypes; System testing; Systems engineering and theory; Vehicle dynamics

Indexed keywords

AMPHIBIOUS VEHICLES; AUTOMATIC TESTING; AUTOMOTIVE ENGINEERING; COMPUTER CONTROL; CONCRETES; CONTROL SYSTEMS; MATHEMATICAL MODELS; MODEL CHECKING;

DESIGN ENGINEERING; PROTOTYPES; SYSTEM TESTING; SYSTEMS ENGINEERING AND THEORIES; VEHICLE DYNAMICS;

CONCRETE TESTING;

EID: 50249107999     PISSN: 10746005     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IWRSP.2003.1207033     Document Type: Conference Paper

References (10)

1. A. Ciarlini and T. Frühwirth. Automatic derivation of meaningful experiments for hybrid systems. In Proc. ACM SIGSIM Conf. on Artificial Intelligence, Simulation, and Planning (AIS'00), Tucson, AZ, March 2000.
2. V. Gupta, T. Henzinger, and R. Jagadeesan. Robust timed automata. In O. Maler, editor, HART 97: Hybrid and Real-Time Systems, LNCS 1201, pages 331-345. 1997.
3. J. B. Michael, A. C. Segal, and S. Patwardhan. Validation of software testing results for real-time vehicle control software. In System Issues in ITS, Publication SP-1106, pages 69-72. Society of Automotive Engineers, Warrendale, Penn., 1995.
4. J. Philipps, A. Pretschner, O. Slotosch, E. Aiglstorfer, S. Kriebel, and K. Scholl. Model-based test case generation for smart cards. Submitted to FMICS'03, 2003.
5. A. Pretschner. Classical search strategies for test case generation with Constraint Logic Programming. In Proc. Formal Approaches to Testing of Software, pages 47-60, August 2001.
6. A. Pretschner, H. Lötzbeyer, and J. Philipps. Model Based Testing in Evolutionary Software Development. In Proc. 11th IEEE Intl. Workshop on Rapid System Prototyping, pages 155-160, 2001.
7. A. Pretschner, H. Lötzbeyer, and J. Philipps. Model Based Testing in Incremental System Development. The Journal of Systems and Software, 2003. To appear.
8. A. Pretschner, O. Slotosch, and T. Stauner. Developing Correct Safety Critical, Hybrid, Embedded Systems. In Proc. New Information Processing Techniques for Military Systems, Istanbul, October 2000. NATO Research and Technology Organization.
9. T. Stauner. Systematic Development of Hybrid Systems. PhD thesis, Technische Universität München, 2001.
10. The MathWorks Inc. MATLAB Product Family. http://www.mathworks.com/products/matlab/, 2000.