Model based design verification: A monitor based approach

SAE Technical Papers

Volumn , Issue , 2008, Pages

  Ackermann, Chris ^a   Ray, Arnab ^a   Cleaveland, Rance ^b   Heit, Jürgen ^c   Martin, Christopher ^c   Shelton, Charles ^c  

^a Fraunhofer USA Inc   (United States)

^b UNIVERSITY OF MARYLAND   (United States)

^c BOSCH RESEARCH AND TECHNOLOGY CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; AUTOMOTIVE INDUSTRY;

AUTOMATIC CODE GENERATIONS; DESIGN MODELS; DESIGN VERIFICATION; ELECTRONICS APPLICATIONS; FUNCTIONAL VERIFICATION; MODEL- BASED DESIGNS; RAPID SYSTEM PROTOTYPING;

DESIGN;

EID: 85072474331     PISSN: 01487191     EISSN: 26883627     Source Type: Journal    
DOI: 10.4271/2008-01-0741     Document Type: Conference Paper

References (15)

1. Oh W. H., Lee J.H., Kwon H.G., and Yoon H.J.,. "Model-Based Development of Automotive Embedded Systems: A Case of Continuously Variable Transmission (CVT)." In Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05), pp. 201-204, IEEE Computer Society, ISSN 1533-2306, Los Alamitos, CA, Aug. 2005.
2. Pretschner A., Broy M., Kruger I.H., and Stauner T.,. "Software Engineering for Automotive Systems: A Roadmap." In Future of Software Engineering 2007 (FOSE'07), pp. 55-71, IEEE Computer Society, ISBN 0-7695-2829-5, Los Alamitos, CA, May 2007.
3. Botaschanjan J., Kof L., Kuhnel C., and Spichkova M.,. "Towards Verified Automotive Software." SIGSOFT Software Engineering Notes, 30 (4): 1-6, ACM, ISSN 0163-5948, New York, Jul. 2005.
4. Cleaveland R., Sims S., and Smolka S.,. "An Instrumentation-based Approach to Controller Model Validation." To appear in" Proceedings of the 2006 Automotive Software Workshop Sand Diego. Springer Verlag, Heidelberg, Germany, 2008.
5. Shelton C., and Martin C.,. "Using Models to Improve the Availability of Automotive Software Architectures." In SEAS '07: Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems, IEEE Computer Society, ISBN 0-7695-2968-2, Washington, DC, May 2007.
6. Bertot Y., and Casteran P.,. Interactive Theorem Proving and Program Development. Volume XXV of. Texts in Theoretical Computer Science. An EATCS Series, Springer Verlag, ISBN 978-3-540-20854-9, Heidelberg, Germany. 2004.
7. Clarke E.M., Grumberg O., and Peled D.,. Model Checking. MIT Press. ISBN 978-0-262-03270-4, Cambridge, MA, 2000.
8. Clarke E.M., Emerson E. A., and Sistla A. P.,. "Automatic Verification of Finite-State Concurrent Systems using Temporal Logic Specifications." ACM Transactions on Programming Languages and Systems, 8 (2): 244-263, ACM Press, New York, 1986.
9. Harel D., Kupferman O., and Vardi M.Y.,. "On the Complexity of Verifying Concurrent Transition Systems." Information and Computation, 173 (2): 143-161, Elsevier, Amsterdam, 2002.
10. Schnoebelen Ph., "The Complexity of Temporal Logic Model Checking." In Balbiani Ph., Suzuki N.-Y., Wolter F., and Zakharyaschev M., editors, Advances in Modal Logics, volume 4, pp. 393-436. College Publications, ISBN 978-0-954-30061-6, London, 2003.
11. De Groot A., Hooman J., Kordon F., Paviot-Adet E., Mounier I., Lemoine M., Gaudiere G., Winter V.L., and Kapur D.,. "A Survey: Applying Formal Methods to a Software Intensive System". In Proceedings of the 6th IEEE International Symposium on High Assurance Systems Engineering (HASE'01), pp. 55-64, IEEE Computer Society, ISSN 1530-2059, Los Alamitos, CA, Oct. 2001.
12. Ardis M., "Formal Methods for Telecommunication System Requirements: A Survey of Standardized Languages." Annals of Software Engineering, 3: 157-187, Springer Netherlands, ISSN 1573-7489, Dordrecht, The Netherlands, Jan. 1997.
13. Osborne M., and MacNish C.K.,. "Processing Natural Language Software Requirement Specifications". In Proceedings of the 2nd international Conference on Requirements Engineering (ICRE '96), pages 229-237, IEEE Computer Society, ISBN 0-8186-7252-8, Los Alamitos, CA, Apr. 1996.
14. Pezze M., and Young M.,. Software Testing and Analysis: Process, Principles and Techniques. John Wiley and Sons, ISBN 978-0-471-45593-6, Hoboken, NJ, 2008.
15. Bachmann F., Bass L., and Klein M.,. "Preliminary Design of ArchE: A Software Architecture Design Assistant." Technical Report CMU/SEI-2003-TR-021, Software Engineering Institute, Carnegie-Mellon University, Pittsburgh, Sept. 2003.