Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Model-based Analysis of Distributed Real-time Embedded System Composition
 

Summary: Model-based Analysis of Distributed Real-time Embedded
System Composition
Gabor Madl
Center for Embedded Computer Systems
University of California, Irvine, CA 92697
gabe@uci.edu
Sherif Abdelwahed
Institute for Software Integrated Systems
Vanderbilt University, Nashville, TN 37205
sherif@isis.vanderbilt.edu
ABSTRACT
Key challenges in distributed real-time embedded (DRE)
system developments include safe composition of system com-
ponents and mapping the functional specifications onto the
target platform. Model-based verification techniques pro-
vide a way for the design-time analysis of DRE systems en-
abling rapid evaluation of design alternatives with respect
to given performance measures before committing to a spe-
cific platform. This paper introduces a semantic domain
for model-based analysis of a general class of DRE systems

  

Source: Abdelwahed, Sherif - Department of Electrical Engineering and Computer Science, Vanderbilt University

 

Collections: Engineering