NDLI: The ProCoS Approach to Correct Systems

Content Provider	Springer Nature Link
Author	Langmaack, Hans
Copyright Year	1997
Abstract	PorCoS is the name of the ESPRIT project “Provably Correct Systems”. A system is seen as a technological system with embedded controlling processors, sensors, actuators, connecting channels and timers in a physical environment, especially a real-time or hybrid system with digital and continuous components. The goal of PorCoS is to contribute to mathematical foundation for analysis and synthesis and to mathematical principles, techniques and tools for systematic and correct design and construction of systems, especially in safety-critical applications. The article discusses the notion of system correctness and explains its non-absolute nature. Two forerunners of ProCoS are described, the so-called stack of Computational Logic Inc., Austin, Texas, and the three views of concurrent processes – nets, terms and formulas – of E.-R. Olderog. ProCoS is going beyond the forerunners and has extended the description levels: Requirements and systems architectural language, specification language, high-level programming language, machine language, hardware description language and description language for asynchronuous circuits. A major achievement of ProCoS is to have related the semantic models of several different system development levels and to have shown up how to mathematically prove correct the transitions between these levels w.r.t. the semantic relations. The Duration Calculus gives a basis for semantics and verification and crosses the boundary between discrete and continuous models.The lecture has been given at the Dagstuhl-Seminar “High Integrity Programmable Electronic Systems”, 27. 02. - 03. 03. 95, organized by W. J. Cullyer, W. A. Halang and B. J. Krämer.
Starting Page	253
Ending Page	275
Page Count	23
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

Open Embedded Control

Modeling Control Speculation for Timing Analysis

Interval-based Clock Synchronization

Generalized Multiframe Tasks

Terrestrial Time Signal Dissemination

Σynergos—Synergetic Vision Research

Computing Maximum Task Execution Times — A Graph-Based Approach

Building Large, Complex, Distributed Safety-Critical Operating Systems

Feedback–Feedforward Scheduling of Control Tasks

The ProCoS Approach to Correct Systems

Similar Documents

Open Embedded Control

Modeling Control Speculation for Timing Analysis

Interval-based Clock Synchronization

Generalized Multiframe Tasks

Terrestrial Time Signal Dissemination

Σynergos—Synergetic Vision Research

Computing Maximum Task Execution Times — A Graph-Based Approach

Building Large, Complex, Distributed Safety-Critical Operating Systems

Feedback–Feedforward Scheduling of Control Tasks

The ProCoS Approach to Correct Systems