NDLI: Shared semantic domains for computational reliability engineering

Content Provider	IEEE Xplore Digital Library
Author	Coppit, D. Painter, R.R. Sullivan, K.J.
Copyright Year	2003
Description	Author affiliation: Dept. of Comput. Sci., William & Mary Coll., Williamsburg, VA, USA (Coppit, D.; Painter, R.R.)
Abstract	Modeling languages and the software tools which support them are essential to engineering. However, as these languages become more sophisticated, it becomes difficult to assure both the validity of their semantic specifications and the dependability of their program implementations. To ameliorate this problem we propose to develop shared semantic domains and corresponding implementations for families of related modeling languages. The idea is to amortize investments at the intermediate level across multiple language definitions and implementations. To assess the practicality of this approach for modeling languages, we applied it to two languages for reliability modeling and analysis. In earlier work, we developed the intermediate semantic domain of failure automata (FA), which we used to formalize the semantics of dynamic fault trees (DFTs). in this paper, we show that a variant of the original FA can serve as a common semantic domain for both DFTs and reliability block diagrams (RBDs). Our experiences suggest that the use of a common semantic domain and a shared analyzer for expressions at this level can ease the task of formalizing and implementing modeling languages, reducing development costs and improving their dependability.
Sponsorship	IEEE Comput. Soc. IEEE Reliability Soc
Starting Page	169
Ending Page	180
File Size	318791
Page Count	12
File Format	PDF
ISBN	0769520073
ISSN	10719458
DOI	10.1109/ISSRE.2003.1251040
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2003-11-17
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Reliability engineering High level languages Computer science Fault trees Mathematical model Educational institutions Software tools Investments Automata Costs
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

Developing high-level reliability languages using a general intermediate domain

Formal semantics of models for computational engineering: a case study on dynamic fault trees

Execution Semantics of Parallel Finite Automata

Work in progress: Teaching computational thinking in middle and high school

A Semantic Recognizer Infrastructure for Computing Loop Behavior

Does appropriate software support for target identification exist?

Testing for trustworthiness in scientific software

Shared Semantic Domains for Computational Reliability Engineering (2003)

Shared Semantic Domains for Computational Reliability Engineering (2003)

Shared semantic domains for computational reliability engineering

Similar Documents

Developing high-level reliability languages using a general intermediate domain

Formal semantics of models for computational engineering: a case study on dynamic fault trees

Execution Semantics of Parallel Finite Automata

Work in progress: Teaching computational thinking in middle and high school

A Semantic Recognizer Infrastructure for Computing Loop Behavior

Does appropriate software support for target identification exist?

Testing for trustworthiness in scientific software

Shared Semantic Domains for Computational Reliability Engineering (2003)

Shared Semantic Domains for Computational Reliability Engineering (2003)

Shared semantic domains for computational reliability engineering