Skip to main content

Design of Dependable Real-Time Systems

Andrew M. Lister

PDF DOI 10.1145/143062.143084 dblp

Abstract

No abstract available.

BibTeX

@inproceedings{Lister:ICSE92,
  author    = {Andrew M. Lister},
  title     = {Design of Dependable {Real-Time} Systems},
  booktitle = {ICSE},
  pages     = {35--36},
  publisher = {{ACM}},
  year      = {1992},
}

Related papers

Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems TACAS 2002
A component-based development framework for supporting functional and non-functional analysis in control system design ASE 2005
Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems ASE 2008
Improving the Efficiency of Dependency Analysis in Logical Decision Models ASE 2009
More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( D^3 D 3 ) TACAS 2018
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems ICSE 2003
Real-Time Systems Design with PEP TACAS 2002
Design and Verification of Real-Time Systems ICSE 1976