NDLI: Certifiably safe software-dependent systems: challenges and directions

Please wait, while we are loading the content...

Software process

Software engineering for mobility: reflecting on the past, peering into the future

Software architecture: a travelogue

Software services: a research roadmap

Software traceability: trends and future directions

Software product line engineering and variability management: achievements and challenges

Engineering big data solutions

The (R) Evolution of social media in software engineering

Software testing: a research travelogue (2000–2014)

Software evolution and maintenance

How programming languages will co-evolve with software engineering: a bright decade ahead

Software engineering and automated deduction

Probabilistic programming

Certifiably safe software-dependent systems: challenges and directions

Future of end-user software engineering: beyond the silos

The past, present, and future of MOOCs and their relevance to software engineering

Certifiably safe software-dependent systems: challenges and directions

Content Provider	ACM Digital Library
Author	Comar, Cyrille Jones, Paul Kelly, Tim Hatcliff, John Wassyng, Alan
Abstract	The amount and impact of software-dependence in critical systems impinging on daily life is increasing rapidly. In many of these systems, inadequate software and systems engineering can lead to economic disaster, injuries or death. Society generally does not recognize the potential of losses from deficiencies of systems due to software until after some mishap occurs. Then there is an outcry, reflecting societal expectations; however, few know what it takes to achieve the expected safety and, in general, loss-prevention. On the one hand there are unprecedented, exponential increases in size, inter-dependencies, intricacies, numbers and variety in the systems and distribution of development processes across organizations and cultures. On the other hand, industry's capability to verify and validate these systems has not kept up. Mere compliance with existing standards, techniques, and regulations cannot guarantee the safety properties of these systems. The gap between practice and capability is increasing rapidly. This paper considers the future of software engineering as needed to support development and certification of safety-critical software-dependent systems. We identify a collection of challenges and document their current state, the desired state, gaps and barriers to reaching the desired state, and potential directions in software engineering research and education that could address the gaps and barriers. .
Starting Page	182
Ending Page	200
Page Count	19
File Format	PDF
ISBN	9781450328654
DOI	10.1145/2593882.2593895
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-05-31
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Validation Assurance Verification Safety Certification Requirements Standards Hazard analysis
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

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