Reengineering a single threaded embedded missile application onto a parallel processing platform using metaH

Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1996

Volumn , Issue , 1996, Pages 57-64

  Mcconnell, David J ^a   Lewis, Bruce ^b   Gray, Lisa ^a  

^a Coleman Research Corp ^*  (United States)

^b US Army Aviation and Missile Command   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); APPLICATION PROGRAMS; CODES (SYMBOLS); DATA ENCAPSULATION; INTERACTIVE COMPUTER SYSTEMS; MISSILES; MULTIPROCESSING SYSTEMS; SPECIFICATION LANGUAGES;

ARCHITECTURAL TRANSFORMATION; CONCURRENT PROCESS; DISTRIBUTED APPLICATIONS; LANGUAGE IMPLEMENTATIONS; MISSILE APPLICATIONS; PARALLEL PROCESSING; ROBUST MECHANISMS; SOFTWARE/HARDWARE;

REAL TIME SYSTEMS;

EID: 85068340346     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WPDRTS.1996.557447     Document Type: Conference Paper

References (4)

1. Pam Binns and Steve Vestal, "Formal Real-Time Architecture Specification and Analysis, " IEEE Workshop on Real-Time Operating Systems and Sojiware, New York, W, May 12-14 1993.
2. Pam Binns and Steve Vestal, "Scheduling and Communication in MetaN, " Real-Time Systems Symposium, Raleigh-Durham NC, December 1993.
3. Pam Binns and Steve Vestal, "Architecture Specification for Complex Real-Time Dependable Systems, " to appear in ZEEE International Conference on Engineering and Complex Computer Systems, November 1995.
4. Matt Englehart and Mike Jackson, "Contron An Algorithm Specification Language and Code Generator, " IEEE Control Systems, April 1995.