Logotype Mälardalenn University

PROGRESS publications



Validating the Design Model of an Autonomous Truck System

Full text:  
Authors: Jagadish Suryadevara, Paul Pettersson, Cristina Seceleanu
Source: Mälardalen University Software Enginnering Workshop (MUSE'09), Mälardalen University, Västerås, Sweden
 

Abstract

Model driven approaches have become effective solutions for the development of embedded systems. In particular, models across various abstraction layers, e.g., application, design, and implementation, provide the opportunity for applying different analysis techniques appropriate at various phases of system development. In this paper, we informally show how to validate the design model of an {em Autonomous Truck} embedded system, by comparing its trajectories with the trajectories of the corresponding application model. In the comparison, we also correlate the corresponding time scales of the two different models. The autonomous truck system is designed in the integrated modeling environment of SaveIDE. The system's functional and timing requirements verification is carried out on the truck's design model. Our work can be regarded as a preliminary step towards developing a general solution to the problem of bridging the gap between application and design models of embedded systems.
 

BibTeX entry

@inproceedings{Suryadevara_1840:2009,
   author = {Jagadish Suryadevara and Paul Pettersson and Cristina Seceleanu},
   title = {Validating the Design Model of an Autonomous Truck System},
   booktitle = {M{\"a}lardalen University Software Enginnering Workshop (MUSE'09)},
   month = {November},
   year = {2009},
   publisher = {M{\"a}lardalen University},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1840},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2009.11.03