Schedulability-analyzable exception handling for fault-tolerant real-time languages

Marlowe, Thomas J.; Stoyenko, Alexander D.; Masticola, Stephen P.; Welch, Lonnie R.

doi:10.1007/bf01088804

Cited by 9 publications

(2 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The concept of exception handlers assigned to operations can be found in a number of relevant papers and implementations (Goodenough, 1975;Liskov and Snyder, 1979;Stroustrup, 1991;Marlow et al, 1994).…”

Section: Coping With Catastrophic Exceptionsmentioning

confidence: 99%

Dealing With Exceptions in Safety-Related Embedded Systems

Halang

Colnariĉ

2002

IFAC Proceedings Volumes

View full text Add to dashboard Cite

Section: Coping With Catastrophic Exceptionsmentioning

confidence: 99%

Dealing With Exceptions in Safety-Related Embedded Systems

Halang

Colnariĉ

2002

IFAC Proceedings Volumes

View full text Add to dashboard Cite

“…loose coupling of software components) [Sitaraman et al 1993], abstraction (highly cohesive modules), and ease of understandability. Another benefit of layering is the simplification of analyses for concurrency and timing properties [Welch 1993[Welch , 1994Verhoosel et al 1993Verhoosel et al , 1995Stoyenko et al 1994] and dependability [Marlowe et al 1994].…”

Section: Introductionmentioning

confidence: 99%

Metrics for assessment of designs and implementations during reengineering of computer-based systems

Welch

Verhoosel

et al. 1995

Ann Software Eng

View full text Add to dashboard Cite

Modem computer-based systems have many required characteristics, including performance, concurrency, timeliness, availability, dependability, safety and security. Aging computer-based systems are being reengineered to exploit distributed and highly parallel hardware platforms, in order to accommodate increased functional requirements and to achieve dependability. Simultaneously, reengineering is introducing modem software engineering principles such as component layering, encapsulation and information hiding, in order to reduce maintenance burdens and to simplify future enhancement. This paper summarizes a process for reengineering of computer-based systems to achieve these goals. The process incorporates experience gained through the reengineering of the Weapons Selection module and the Surface Operations module of the AEGIS Weapon System. A key component of the reengineering process is the mission critical software architecture (MCSA), a hierarchical view of systems that includes the abstraction levels of programs, tasks, packages, procedures, and statements. To guide the reengineering processes of software transformation, concurrency metrics are defined at the procedure, package and task levels of the MCSA. The paper defines the intermediate representation (IR) needed to compute the metrics, and shows how to use the IR to compute several metrics: the percentage of concurrency within procedures and packages, and the amount of potential concurrency among tasks. The metrics are important in any reengineering approach that iteratively transforms design and code, or that deals with system configuration (the integration of software, hardware and humanware).

show abstract

Wirtschaftliche Fehlertoleranz in Funktionsblock-konfigurierbaren Feldstationen

Beestermöller

Thiele

1997

Pearl 96

View full text Add to dashboard Cite

Schedulability-analyzable exception handling for fault-tolerant real-time languages

Cited by 9 publications

References 23 publications

Dealing With Exceptions in Safety-Related Embedded Systems

Dealing With Exceptions in Safety-Related Embedded Systems

Metrics for assessment of designs and implementations during reengineering of computer-based systems

Wirtschaftliche Fehlertoleranz in Funktionsblock-konfigurierbaren Feldstationen

Contact Info

Product

Resources

About