A joint project of the Graduate School, Peabody College, and the Jean & Alexander Heard Library

Title page for ETD etd-04042011-124820

Type of Document Dissertation
Author Porter, Joseph E
Author's Email Address jporter@isis.vanderbilt.edu
URN etd-04042011-124820
Title Compositional and Incremental Modeling and Analysis for High-Confidence Distributed Embedded Control Systems
Degree PhD
Department Electrical Engineering
Advisory Committee
Advisor Name Title
Janos Sztipanovits Committee Chair
Aniruddha Gokhale Committee Member
Gabor Karsai Committee Member
Mark Ellingham Committee Member
Xenofon Koutsoukos Committee Member
  • digital control
  • incremental analysis
  • model-based design
  • scheduling
  • embedded systems
  • real-time systems
Date of Defense 2011-03-25
Availability unrestricted
High confidence embedded control system software often requires formal analyses to ensure design correctness. Detailed models cover numerous design concerns such as controller stability, timing requirements, fault tolerance, and deadlock freedom. Models for each of these design domains must together provide a consistent and faithful representation of the potential problems an operational system would face. Coupling between separately designed components and modules prevents model analyses from scaling well to large designs. Coupling also occurs

within individual systems and components between behaviors represented by different design concerns as different aspects of the design

constrain design structures and parameters in conflicting ways. These complications combine with other factors to increase the difficulty of system integration, leading to high costs and

long development schedules.

Correctness properties in model-based designs take one of the following forms (from Edwards et al): 1) Properties inherent to the model of computation, which hold for all valid specifications, 2) Syntactic properties which can

be determined by analysis of the structure of specification elements, and 3) Semantic properties which require examination of the actual

behavior of the specification.

To tackle problems associated with highly coupled designs, their required correctness constraints, and the cost impact on design projects, we have created the Embedded Systems Modeling Language (ESMoL). Well-formed models in ESMoL inherently express functional determinism (from dataflow semantics), deadlock-freedom (from synchrony), and timing determinism (from a time-triggered platform). To address more complex syntactic and semantic properties we propose incremental analysis, which allows us to extend previously calculated design analysis results to new features in an efficient way. We give an example of incremental syntactic analysis in the form of cycle checking to ensure well-formedness of ESMoL models. We give an example of incremental semantic analysis in scheduling dataflow graphs subject to end-to-end latency constraints. Effective incremental analysis techniques can allow developers to more rapidly iterate and converge on a correct design.

  Filename       Size       Approximate Download Time (Hours:Minutes:Seconds) 
 28.8 Modem   56K Modem   ISDN (64 Kb)   ISDN (128 Kb)   Higher-speed Access 
  dissertation.pdf 4.96 Mb 00:22:58 00:11:48 00:10:20 00:05:10 00:00:26

Browse All Available ETDs by ( Author | Department )

If you have more questions or technical problems, please Contact LITS.