More Related Links
Virtual Integration Demonstration
This 35-minute software architecture modeling demonstration describes an approach for virtual integration in system development.
04/21/2009Assurance Cases for Design Analysis of Complex System of Systems Software
This paper discusses the application of assurance cases as a means of building confidence that the software design of a complex system of systems will actually meet the operational objectives set forth in the project’s top-level requirements.
05/05/2008Building Secure Systems Using Model-Based Engineering and Architectural Models
A system designer faces several challenges when specifying security for distributed computing environments or migrating systems to a new execution platform.
05/01/2008Using Model-Based Engineering and Architectural Models to Build Secure Systems
In this paper, the authors present analytical techniques to model and validate security protocols for enforcing confidentiality and integrity.
02/01/2008ASSIP Study of Real-Time Safety-Critical Embedded Software-Intensive System Engineering Practices
This report presents findings of a study of RTSCE software-intensive systems issues and develop recommendations for effectively dealing with those issues.
12/25/2007Diagrams and Languages for Model-Based Software Engineering of Embedded Systems: UML and AADL
The tools compared in this discussion, the Unified Modeling Language (UML) and the Architecture Analysis and Design Language (AADL), facilitate the modeling of software architecture and provide elements to understand it.
07/01/2007Modeling of System Families
This report discusses how AADL can be used to model system families and configurations of system and component variants.
04/19/2007Engineering Performance-Critical Systems: meeting and exceeding performance, dependability, and interoperability goals
03/22/2007Predictable, Model-Based Engineering for Embedded Systems
01/19/2007Learn to use the SAE AADL Standard Model-Based Engineering with SAE AADL
Learn to use the SAE AADL Standard Model-Based Engineering with SAE AADL
01/12/2007SAE Architecture Analysis and Design Language Fact Sheet
The SAE AADL is an international standard for predictable model-based engineering of real-time and embedded computer systems.
06/01/2006Governance Issues for a Service-Oriented Architecture
Governance Issues for a Service-Oriented Architecture
03/01/2006On System Scalability
This 2006 report presents an analysis of what is meant by scalability and a description of factors to be considered when assessing the potential for system scalability.
01/01/2006Three Perspectives of Service-Oriented Architectures
Three Perspectives of Service-Oriented Architectures
03/01/2005Analyzing the Reuse Potential of Migrating Legacy Components to a Service-Oriented Architecture
Analyzing the Reuse Potential of Migrating Legacy Components to a Service-Oriented Architecture
12/01/20033rd International Conference on COTS-Based Software Systems
3rd International Conference on COTS-Based Software Systems
11/01/2003Real-Time Application Development with OSEK: A Review of the OSEK Standards
This 2003 report examines the OSEK OS, OSEK COM, and OSEK OIL specifications from the perspective of a real-time application developer.
06/01/2003Second International Conference on COTS-Based Software Systems
Second International Conference on COTS-Based Software Systems
05/19/2003The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering
The AADL standard will include a UML profile useful for avionics, space, automotive, robotics and other real-time concurrent processing domains including safety critical applications.
12/01/2002Managing Risks in Modernizing Legacy Systems
Managing Risks in Modernizing Legacy Systems
10/01/2002Model-Based Verification: Abstraction Guidelines
This 2002 report presents abstraction techniques that can be used to build essential models of system behavior in the context of MBV and details a methodology for creating state machine models using those techniques.
08/01/2002Model-Based Verification: An Engineering Practice
This 2002 report summarizes MBV and outlines the responsibilities of engineers engaged in Model-Based Verification.
01/01/2002Model-Based Verification: Guidelines for Generating Expected Properties
This report presents a basic set of guidelines to facilitate the generation of expected properties in the context of Model-Based Verification.
12/01/2001Model-Based Verification: Analysis Guidelines
This technical note provides guidance for the analysis activity that occurs during the interpretation of results produced by model-checking tools.
10/01/2001Framework Document: Model-Based Verification Pilot Study
This 2001 document describes the processes, activities, artifacts, and deliverables associated with an Engineering Practice Investigation of MBV.
10/01/2001Model-Based Verification: Scope, Formalism, and Perspective Guidelines
This report provides guidance for defining the scope, formalism, and perspective for applying MBV, a systematic approach to finding defects in software requirements, designs, or code.
10/01/2001Model-Based Verification: Claim Creation Guidelines
This 2001 report describes a pattern-based approach to facilitate claim generation.
08/01/2001Proceedings of the Real-Time Systems Engineering Workshop
This report presents the results of a workshop on real-time systems engineering. The workshop was held as part of the SEI Symposium in Washington, DC, during September 2000.
06/01/2001Real-Time Systems Engineering: Lessons Learned from Independent Technical Assessments
This 2001 paper contains observations, recurring themes, trends, and lessons learned about systems development as derived from real-time/mission-critical programs that have been reviewed over the last three years.
12/01/2000Improving Predictability in Embedded Real-Time Systems
This 2000 paper discusses a model-based architectural approach for improving predictability of performance in embedded real-time systems.
10/01/2000Simplex Architecture Performance and Cost
The Simplex Architecture facilitates the building of dependable and upgradable real-time systems. Before using the technology, potential users want to know more about the costs of adopting the Simplex paradigm compared to the benefits of using it. This paper examines Simplex performance and the costs associated with its use.
05/01/2000Modeling the Space Shuttle Liquid Hydrogen Subsystem
This 2000 report describes experiences with modeling the liquid hydrogen subsystem of the space shuttle.
08/01/1999Simplex in a Hostile Communications Environment: The Coordinated Prototype
This report describes an approach to using Simplex to construct a COTS-based computer system capable of coordinated real-time motion control in a hostile communications environment.
04/01/1999Introduction to Software Engineering Practices Using Model-Based Verification, An
This is an introductory report on the use of model-based verification techniques within software development and upgrade practices.
11/01/1998Study of Practice Issues in Model-Based Verification Using the Symbolic Model Verifier (SMV), A
This report presents the results of a study on the practice issues involved in using the Symbolic Model Verifier (SMV) for model checking software systems.
09/01/1998Model-Based Verification: A Technology for Dependable System Upgrade
This 1998 report outlines the technological foundations of model-based verification for engineering software system upgrades.
07/01/1998Mapping MetaH into ACME
This 1998 report explores the translation of MetaH into ACME.
04/01/1998Assessment of CORBA and POSIX Designs for FAA En Route Resectorization
This report addresses the use of different technologies and an architectural tradeoff approach on a typical En Route system problem.
01/01/1998Study in the Use of CORBA in Real-Time Settings: Model Problems for the Manufacturing Domain, A
In this report, we describe the application of an off-the-shelf ORB to two real-time model problems.
08/01/1997Workshop on the State of the Practice in Dependably Upgrading Critical Systems
This report describes the results of the Workshop on the State of the Practice in Dependably Upgrading Critical Systems held April 16-17, 1997 at the Software Engineering Institute.
07/01/1997Perspective on the State of Research in Fault-Tolerant Systems, A
This 1997 report presents a perspective on research in fault tolerance as it relates to dependability in software-based systems and attempts to describe the current state of, and outline future directions for, this broad research field.
02/01/1996State of the Practice Report: Problems in the Practice of Performance Engineering
As systems have performance requirements, sometimes dominant and explicit, and other times subordinate and implicit. Despite the pervasiveness and importance of performance requirements, performance problems persist. To help us understand why, we sponsored a workshop in performance engineering and conducted some structured interviews with software contractors. This report summarizes our observations.
09/01/1995Distributed System Design Using Generalized Rate Monotonic Theory
This 1995 paper reviews the rate monotonic scheduling theory, examines the architectural requirements for the use of the theory, and provides an application example.
06/01/1995OOD Paradigm for Flight Simulators (2nd Edition), An
This report presents a paradigm for object-oriented implementation of flight simulators. It is a result of work on the ADA Simulator Validation Program (ASV) carried out by members of the technical staff at the SEI.
04/01/1994Rate Monotonic Analysis for Real-Time Systems: Instructor's Guide
This report helps instructors teach rate monotonic analysis (RMA) to graduate and undergraduate software, computer, and electrical engineering students.
12/01/1993A Taxonomy of Coordination Mechanisms Used in Real-Time Software Based on Domain Analysis
This 1993 proposes a taxonomy of the coordination mechanisms for the synchronization and communication of concurrent processes.
10/01/1993Use of ASN.1 and XDR for Data Representation in Real-Time Distributed Systems, The
This report provides an overview of two standards that are used for data specification and representation in distributed systems.
06/01/1993Safety-Critical Software: Status Report and Annotated Bibliography
Many systems are deemed safety-critical and these systems are increasingly dependent on software. Much has been written in the literature with respect to system and software safety. This report summarizes some of that literature and outlines the development of safety-critical software. Techniques for hazard identification and analysis are discussed. Further, techniques for the development of safety-critical software are mentioned. A partly annotated bibliography of literature concludes the report.
04/01/1993Distributed Real-Time System Design: Theoretical Concepts and Applications
This 1993 paper describes the use of generalized rate monotonic scheduling theory for the design and analysis of a distributed real-time system.
02/01/1993Formal Specification and Verification of Concurrent Programs
This 1993 module introduces formal specification of concurrent software and verification of the consistency between concurrent programs and their specifications.
02/01/1992ADA Validation Tests for Rate Monotonic Scheduling Algorithm
This report presents a set of tests for checking whether an ADA runtime system properly supports certain rate monotonic scheduling algorithms, specifically, the basic inheritance and priority ceiling protocols.
02/01/1992Conceptual Framework for System Fault Tolerance, A
This document provides vocabulary, discusses system failure, describes mechanisms for making systems fault tolerant, and provides rules for developing fault tolerant systems.
12/01/1991Design Specifications for ADAptive Real-Time Systems
This 1991 report presents a design specification method that treats a software architecture as a set of runtime entities.
10/01/1991Fault Tolerant Systems Practitioner's Workshop June 10-11, 1991
This 1991 report summarizes workshop discussions about state of the practice in fault tolerant systems and barriers to the deployment of fault tolerant systems.
09/01/1991Application-Level Implementation of the Sporadic Server, An
The purpose of this paper is to introduce a sporadic server algorithm that can be implemented as an application-level task, and that can be used when no runtime or operating system level implementation of the sporadic server is available.
07/01/1991Issues in Real-Time Data Management
This 1991 report explores issues related to the use of database management technology in support of real-time systems programming.
03/01/1991Rate Monotonic Analysis for Real-Time Systems
In this report, we review important decisions in the development of RMA. Our experience indicates that technology transition considerations should be embedded in the process of technology development from the start, rather than as an afterthought.
12/01/1990Generic Avionics Software Specification
This 1990 report informally specifies the general functions, data interactions, and timing constraints for an avionics mission control computer system typical of those found in some existing U.S. Navy/Marine Corps aircraft.
07/01/1990Analysis of Input/Output Paradigms for Real-Time Systems, An
This paper illustrates how to build a mathematical model of the schedulability of a real-time system, taking into consideration such factors as preemption, synchronization, non-preemptibility, interrupts, and process idle time.
06/01/1990Experiences Porting the Distributed ADA Real-Time Kernel
Boeing Military Airplanes and The Wichita State University became co-acceptors of a copy of DARK for the purpose of demonstrating a port to a 68000-based distributed architecture. This report describes the experiences in accomplishing the port.
06/01/1990Hartstone Benchmark Results and Analysis
This 1990 report describes the results obtained by running Version 1.0 of the Hartstone benchmark, an ADA implementation of one of the requirements, on a number of compiler/target processor combinations.
05/01/1990Implementing Sporadic Servers in ADA
This 1990 paper presents the data structures and algorithms for implementing sporadic servers in real-time systems programmed in ADA.
12/01/1989Comparative Evaluations of Four Specification Methods for Real-Time Systems
This report describes the evaluation of four methods for the specification of system and software requirements for time-critical systems.
09/01/1989Real-Time Software Engineering in ADA: Observations and Guidelines
This 1989 report presents techniques for controlling devices with Ada and several Ada tasking paradigms for managing concurrency.
06/01/1989Hartstone: Synthetic Benchmark Requirements for Hard Real-Time Applications
This 1989 paper defines the operational concept for a series of benchmark requirements to be used to test the ability of a system to handle hard real-time applications.
04/01/1989Real-Time Locking Protocol, A
This 1989 report examines a priority-driven, two-phase lock protocol called the read- or write-priority ceiling protocol.
04/01/1989Real-Time Scheduling Theory and ADA
This 1989 report reviews important results of a priority-based scheduling theory and discusses implications for the Ada tasking model.
04/01/1989Implementing Priority Inheritance Algorithms in an ADA Runtime System
This 1989 paper presents a high-level design for implementing the basic priority inheritance and priority ceiling protocols in an ADA runtime system.
04/01/1989Scheduling Sporadic and Aperiodic Events in a Hard Real-Time System
A real-time system consists of both aperiodic and periodic tasks. Periodic tasks have regular arrival times and hard deadlines. Aperiodic tasks have irregular arrival times and either soft or hard deadlines. In this paper, we present a new algorithm, the Sporadic Server algorithm, that greatly improves response times for soft-deadline aperiodic tasks and can guarantee hard deadlines for both periodic and aperiodic tasks. The operation of the Sporadic Server algorithm, its performance, and schedulability analysis are discussed and compared with previous, published aperiodic service algorithms.
02/01/1989Performance and Reliability Enhancement of the Durra Runtime Environment
This 1989 report describes a new design for the Durra runtime environment that addresses these two issues.
12/01/1988Introduction to Software Verification and Validation
This curriculum module provides an overview needed to understand in-depth curriculum modules in the verification and validation area.
12/01/1988Formal Verification of Programs
This 1988 module introduces formal verification of programs, dealing primarily with proofs of sequential programs, but also with consistency proofs for data types and deduction of particular behaviors of programs from their specifications. This module introduces formal verification of programs, dealing primarily with proofs of sequential programs, but also with consistency proofs for data types and deduction of particular behaviors of programs from their specifications.
11/01/1988Real-Time Scheduling Theory and ADA (1988)
This 1988 report reviews results of a priority-based scheduling theory, illustrates its applications with examples, discusses its implications for the Ada tasking model, and suggests workarounds.
11/01/1988Mode Change Protocols for Priority-Driven Preemptive Scheduling
This 1988 report discusses a protocol for accomplishing mode change in the context of a priority-driven preemptive scheduling environment.
10/01/1988Functional Performance Specification for an Inertial Navigation System
This 1988 report defines the functional and performance requirements for the inertial navigation system simulator that interfaces with the ECS simulator.
10/01/1988Functional Performance Specification for an External Computer System Simulator
This 1988 document defines the functional and performance requirements for the ECS simulator that interfaces with the inertial navigation system simulator.
03/01/1988A Practical Application of the Ceiling Protocol in a Real-Time System
This paper discusses real-time design issues that arise when using the priority ceiling protocol for real-time systems.
03/01/1988Priority Ceiling Protocol: A Method for Minimizing the Blocking of High-Priority ADA Tasks, The
The priority ceiling protocol is a new technique that addresses the priority inversion problem. Under the priority ceiling protocol, a high priority task can be blocked at most once by a lower priority task. This paper, written in 1988, defines how to apply the protocol to Ada.
12/01/1987ADA for Embedded Systems: Issues and Questions
This 1987 report addresses issues and questions related to the use of ADA for embedded systems applications.
12/01/1987Survey of Real-Time Performance Benchmarks for the Ada Programming Language, A
This 1987 survey provides a summary description of some of the major Ada benchmarks currently available and an evaluation of their applicability to the Real-Time Embedded Systems Testbed Project at the SEI.
12/01/1987Evolving Persistent Objects in a Distributed Environment
This paper considers a class of objects, called incrementally mutable objects, that are intermediate between mutable and immutable objects.
12/01/1987Prototype Real-Time Monitor: Executive Summary
This report summarizes the history, goals, and conclusions of the prototype real-time monitor development effort.
12/01/1987Annual Technical Report for ADA Embedded Systems Testbed Project
This technical report provides an overview of the results produced in the first year of the ADA Embedded Systems Testbed Project (through September 30, 1987).
12/01/1987ADA Performance Benchmarks on the Motorola MC68020: Summary and Results
This report documents the results obtained from running Ada performance benchmarks on a DEC VAXELN MicroVAX II using the DEC VAXELN Ada compiler.
11/01/1987VAXELN Experimentation: Programming a Real-Time Periodic Task Dispatcher Using VAXELN ADA 1.1
The purpose of this paper is to provide the reader with some technical information and observations ADA source code, and measurement results based on experimentation with respect to developing a real-time periodic task dispatcher in ADA.
11/01/1987Prototype Real-Time Monitor: Requirements
The requirements imposed by flight simulators and good software engineering practice on Ada systems force software engineers to seek new solutions to the problem of monitoring executing software. This report examines some of these requirements and, based on these requirements, defines a subset for implementation as a prototype real-time monitor (RTM).
11/01/1987Prototype Real-Time Monitor: User's Manual
This 1987 report defines the user interface to the prototype real-time monitor (RTM).
11/01/1987Prototype Real-Time Monitor: Design
The requirements imposed by flight simulators and good software engineering practice on Ada systems force software engineers to seek new solutions to the problem of monitoring executing software. This report examines some of these requirements and, based on these requirements, defines a subset for implementation as a prototype real-time monitor (RTM).
11/01/1987Prototype Real-Time Monitor: ADA Code
This report documents the ADA code of the prototype real-time monitor (RTM).
11/01/1987Criteria for Constructing and Using an ADA Embedded System Testbed
This report lists criteria used in five aspects of the project: hardware configuration, software configuration, real-time application, ADA real-time experiments, and benchmarking and instrumentation techniques.
10/01/1987VAXELYN Experimentation: Programming a Real-Time Clock and Interrupt Handling Using VAXELYN ADA 1.1
This report describes the results of implementing an interrupt handler totally in ADA for a MicroVAX II/VAXELN 2.3 target system, the VAXELN 1.1 ADA compiler, and a KWV11-C programmable real-time clock.
12/01/1986Specifying Functional and Timing Behavior for Real-Time Applications
This 1986 report presents a notation and a methodology for specifying the functional and timing behavior of real-time applications for a heterogeneous machine.
Find Us Here
Share This Page
For more information
Email: info@sei.cmu.edu
Call: 412-268-2358
