NDLI: A sound and practical approach to the re-engineering of time-critical systems

Content Provider	IEEE Xplore Digital Library
Author	Zedan, H. Yang, H.
Copyright Year	1998
Description	Author affiliation: Software Technol. Res. Lab., De Montfort Univ., Leicester, UK (Zedan, H.)
Abstract	The authors investigate the re-engineering of time-critical applications using an integration of refinement and transformational techniques. The approach is uniform in the sense that one is able to combined both reverse and forward engineering within the same formal model. The approach is based on designing a wide-spectrum language which is equipped with a specification statement and concrete constructs to cope with concurrency and real-time aspects. The language is an extension of Dijksua's guarded command language with the specification statement taken as a formula expressed in interval temporal logic (ITL). An ITL semantics for WSL is given together with a set of algebraic laws and refinement rules. Reverse engineering is achieved by applying various algebraic laws to produce a structured code (written in WSL) from the original one preserving its semantic equivalence. Such a transformation is done semi-automatically using an extension to MA. The resulting code is considered as an intermediate representation which can then be analysed and used as a basis to construct a higher level of abstraction of the original system. Calculating ITL semantics for the intermediate representation serves as a requirement specification of the original code and is subsequently used as the starting point to forward engineer the system by successive applications of the available refinement calculus. The semantics (an In formula) is produced automatically with the help of the PVS+ toolkit.
Starting Page	220
Ending Page	223
File Size	80765
Page Count	4
File Format	PDF
ISBN	0818684216
DOI	10.1109/CSMR.1998.665819
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1998-03-11
Publisher Place	Italy
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Time factors Reverse engineering Application software Logic Systems engineering and theory Laboratories Concrete Concurrent computing Command languages Calculus
Content Type	Text
Resource Type	Article

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

Integrating Probability with Time and Shared-Variable Concurrency

Formal Modelling of Synchronous Hardware Components for System-on-Chip

Hiding distribution in distributed systems

Duration Calculus: A Formal Approach to Real-Time Systems

Towards a modal logic for /spl pi/-calculus

Towards High-Level Programming for Distributed Problem Solving

Executable object modeling with statecharts

A framework of a logic-based transformation system

Propositional logic for validating software object interrelationships

A sound and practical approach to the re-engineering of time-critical systems

Similar Documents

Integrating Probability with Time and Shared-Variable Concurrency

Formal Modelling of Synchronous Hardware Components for System-on-Chip

Hiding distribution in distributed systems

Duration Calculus: A Formal Approach to Real-Time Systems

Towards a modal logic for /spl pi/-calculus

Towards High-Level Programming for Distributed Problem Solving

Executable object modeling with statecharts

A framework of a logic-based transformation system

Propositional logic for validating software object interrelationships

A sound and practical approach to the re-engineering of time-critical systems