NDLI: Building Large, Complex, Distributed Safety-Critical Operating Systems

Content Provider	Springer Nature Link
Author	Wedde, Horst F. Lind, Jon A.
Copyright Year	1997
Abstract	Safety-critical systems typically operate in unpredictable environments. Requirements for safety and reliability are in conflict with those for real-time responsiveness. Due to unpredictable environmental needs there is no static trade-off between measures to accommodate the conflicting objectives. Instead every feature or operating system service has to be adaptive. Finally, for any design problem, there cannot be any closed-form (formal) approach taking care at the same time of (external) time constraints or deadlines, and synchronization requirements in distributed design. The reason is that these two aspects are causally independent. - In this situation we worked out a heuristic experimental, performance-driven and performance-based methodology that allows in an educated way to start with a coarse system model, with accurate logical expectations regarding its behavior. Through experiments these expectations are validated. If they are found to successfully stand the tests extended expectations and model features are generated for refining the previous design as well as its performance criteria. The refinement is done in such a way that the previous experimental configurations are extreme model cases or data profiles which both logically and experimentally are to reproduce the behavior of the previous modeling step. Thus the novel performance aspects or tendencies could then unambiguously be attributed to the influences of the refined model features. We termed this methodology Incremental Experimentation. As a general methodology it relies on a principle of comparative performance studies rather than on realistic data for narrow application ranges. The paper describes how we applied a 5-step design and refinement procedure for developing, analyzing, and evaluating our distributed operating system MELODY that exhibits novel services for supporting real-time and safety-critical applications in unpredictable environments. Experimental set-ups and theme-related findings are discussed in particular.
Starting Page	277
Ending Page	302
Page Count	26
File Format	PDF
ISSN	09226443
Journal	Real-Time Systems
Volume Number	13
Issue Number	3
e-ISSN	15731383
Language	English
Publisher	Kluwer Academic Publishers
Publisher Date	1997-01-01
Publisher Place	Boston
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Processor Architectures Special Purpose and Application-Based Systems Operating Systems Computing Methodologies
Content Type	Text
Resource Type	Article
Subject	Control and Optimization Computer Networks and Communications Control and Systems Engineering Electrical and Electronic Engineering Computer Science Applications Modeling and Simulation

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

A Highly Dependable Computing Architecture for Safety-Critical Control Applications

Decomposition in Real-Time Safety-Critical Systems

A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*

HEDRA: Heterogeneous Distributed Real-Time Architecture

An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems

Towards a Mobile Code Management Environment for Complex, Real-Time, Distributed Systems

Transaction Scheduling in Distributed Real-Time Systems

Object Caching and Prefetching in Distributed Virtual Walkthrough

Open Embedded Control

Building Large, Complex, Distributed Safety-Critical Operating Systems

Similar Documents

A Highly Dependable Computing Architecture for Safety-Critical Control Applications

Decomposition in Real-Time Safety-Critical Systems

A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*

HEDRA: Heterogeneous Distributed Real-Time Architecture

An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems

Towards a Mobile Code Management Environment for Complex, Real-Time, Distributed Systems

Transaction Scheduling in Distributed Real-Time Systems

Object Caching and Prefetching in Distributed Virtual Walkthrough

Open Embedded Control

Building Large, Complex, Distributed Safety-Critical Operating Systems