Skip header Section
Skip Bibliometrics Section
Software for Dependable Systems: Sufficient Evidence?August 2007
- Authors:
- Daniel Jackson,
- Martyn Thomas,
- Corporate:
- National Research Council
Abstract
No abstract available.
Cited By
- Bagheri H, Kang E and Mansoor N Synthesis of assurance cases for software certification Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results, (61-64)
- Jackson D (2019). Alloy, Communications of the ACM, 62:9, (66-76), Online publication date: 21-Aug-2019.
- de la Vara J, Génova G, Álvarez-Rodríguez J and Llorens J (2017). An analysis of safety evidence management with the Structured Assurance Case Metamodel, Computer Standards & Interfaces, 50:C, (179-198), Online publication date: 1-Feb-2017.
- Portugal R, Engiel P, Roque H and do Prado Leite J Is There a Demand of Software Transparency? Proceedings of the XXXI Brazilian Symposium on Software Engineering, (204-213)
- Rahimi M, Xiong W, Cleland-Huang J and Lutz R Diagnosing assumption problems in safety-critical products Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, (473-484)
- Kokaly S, Salay R, Sabetzadeh M, Chechik M and Maibaum T Model management for regulatory compliance Proceedings of the 8th International Workshop on Modeling in Software Engineering, (74-80)
- Staples M The unending quest for valid, useful software engineering theories Proceedings of the Fourth SEMAT Workshop on General Theory of Software Engineering, (47-58)
- Bishop P Does Software Have to Be Ultra Reliable in Safety Critical Systems? Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security - Volume 8153, (118-129)
- Milicevic A, Jackson D, Gligoric M and Marinov D Model-based, event-driven programming paradigm for interactive web applications Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software, (17-36)
- Cleland-Huang J, Heimdahl M, Huffman Hayes J, Lutz R and Maeder P Trace queries for safety requirements in high assurance systems Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality, (179-193)
- Reinhardt D and McDermid J Contracting for assurance of military aviation software systems Proceedings of the Australian System Safety Conference - Volume 145, (91-105)
- Nejati S, Di Alesio S, Sabetzadeh M and Briand L Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems, (759-775)
- Jamaludin N, Sahibuddin S and Hidayat N Challenges of a project-based learning approach towards requirement engineering Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems, (66-71)
- Maibaum T and Joannou P 2nd Software Certification Consortium Workshop Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research, (375-376)
- Yu Y, Ren S and Hu X (2011). A Metric for Quantifying Similarity between Timing Constraint Sets in Real-Time Systems, ACM Transactions on Design Automation of Electronic Systems, 16:3, (1-33), Online publication date: 1-Jun-2011.
- Near J, Milicevic A, Kang E and Jackson D A lightweight code analysis and its role in evaluation of a dependability case Proceedings of the 33rd International Conference on Software Engineering, (31-40)
- Wassyng A, Maibaum T, Lawford M and Bherer H Software certification Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems, (206-227)
- Lin L, Prowell S and Poore J (2010). An axiom system for sequence-based specification, Theoretical Computer Science, 411:2, (360-376), Online publication date: 1-Jan-2010.
- Northrop L, Klein M, Goodenough J and Smith D Needed foundations for assuring the desirable behavior of software-reliant systems Proceedings of the FSE/SDP workshop on Future of software engineering research, (259-262)
- Kirby J, Weiss D and Lutz R Evidence-based software production Proceedings of the FSE/SDP workshop on Future of software engineering research, (191-194)
- Jackson D and Kang E Separation of concerns for dependable software design Proceedings of the FSE/SDP workshop on Future of software engineering research, (173-176)
- Lee I and Sokolsky O Medical cyber physical systems Proceedings of the 47th Design Automation Conference, (743-748)
- Shao Z (2010). Certified software, Communications of the ACM, 53:12, (56-66), Online publication date: 1-Dec-2010.
- Ray A, Jetley R and Jones P (2019). Engineering high confidence medical device software, ACM SIGBED Review, 6:2, (1-7), Online publication date: 1-Jul-2009.
- Jackson D (2009). A direct path to dependable software, Communications of the ACM, 52:4, (78-88), Online publication date: 1-Apr-2009.
- Obermaisser R, El Salloum C, Huber B and Kopetz H (2009). From a federated to an integrated automotive architecture, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 28:7, (956-965), Online publication date: 1-Jul-2009.
Please enable JavaScript to view thecomments powered by Disqus.
Recommendations
Time-predictable and composable architectures for dependable embedded systems
EMSOFT '11: Proceedings of the ninth ACM international conference on Embedded softwareEmbedded systems must interact with their real-time environment in a timely and dependable fashion. Most embedded-systems architectures and design processes consider "non-functional" properties such as time, energy, and reliability as an afterthought, ...
Back-End Software for Highly Dependable Real-Time Control Systems
COMPSAC '01: Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software DevelopmentA new generation of highly dependable real-time control systems (such as automotive brake-by-wire and steer-by-wire) is under development. Specific application domain requirements lead to the new features to be supported by the system software. These ...
Probabilistic Analysis of Real-Time Dependable Systems
WORDS '97: Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)The design of real-time dependable systems is dominated by the need to meet real-time deadlines. In this paper we present a methodology for analyzing durations in real-time dependable systems and for estimating the probabilities that real-time deadlines ...