NDLI: Modeling uncertainties in safety-critical real-time systems: A probabilistic component-based analysis

Content Provider	IEEE Xplore Digital Library
Author	Khan, D.A. Santinelli, L. Cucu-Grosjean, L.
Copyright Year	2012
Description	Author affiliation: INRIA, 615 rue du Jardin Botanique, 54500 Villers-les-Nancy France (Santinelli, L.; Cucu-Grosjean, L.) \|\| LAAS-CNRS, 7 ave Colonel Roche, 31400 Toulouse France (Khan, D.A.)
Abstract	In this paper we present a novel analysis for complex safety-critical real-time systems involving component-based design and abstraction models. The analysis combines deterministic and probabilistic models for component interfaces; based on the bounded curves (deter-ministically or probabilistically). These results, through the usage of probabilities, can offer different degrees of realtime guarantees (hard or soft), given the system the safety-requirement, and specification. This analysis framework has the flexibility to cope with the different levels of safety-requirement; by acting on the probabilistic bounds and exploring the trade-off between the accuracy of the model and system over-provisioning. Through a case-study we intend to show how the probabilistic abstraction can efficiently and effectively address different degrees of safety requirements in the safety-critical real-time systems.
Starting Page	166
Ending Page	175
File Size	746265
Page Count	10
File Format	PDF
ISBN	9781467326858
e-ISBN	9781467326841
e-ISBN	9781467326834
DOI	10.1109/SIES.2012.6356582
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2012-06-20
Publisher Place	Germany
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Probabilistic logic Real-time systems Delay Safety Analytical models 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