A rational design process: How and why to fake it
IEEE Transactions on Software Engineering
gIBIS: a hypertext tool for exploratory policy discussion
ACM Transactions on Information Systems (TOIS)
Supporting Systems Development by Capturing Deliberations During Requirements Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Inquiry-Based Requirements Analysis
IEEE Software
Safeware: system safety and computers
Safeware: system safety and computers
Use case maps for object-oriented systems
Use case maps for object-oriented systems
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Handbook of software reliability engineering
Handbook of software reliability engineering
Expressing the relationships between multiple views in requirements specification
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Experiences Using Lightweight Formal Methods for Requirements Modeling
IEEE Transactions on Software Engineering
Guiding Goal Modeling Using Scenarios
IEEE Transactions on Software Engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
An impact analysis method for safety-critical user interface design
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on interface design for safety-critical interactive systems: when there is no room for user error
Intent Specifications: An Approach to Building Human-Centered Specifications
IEEE Transactions on Software Engineering
Causality: models, reasoning, and inference
Causality: models, reasoning, and inference
Towards integrated safety analysis and design
ACM SIGAPP Applied Computing Review - Special issue on saftey-critical software
Software safety: where's the evidence?
SCS '01 Proceedings of the Sixth Australian workshop on Safety critical systems and software - Volume 3
Documenting Software Architectures: Views and Beyond
Documenting Software Architectures: Views and Beyond
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Relating Software Requirements and Architectures Using Problem Frames
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
Software Architecture in Practice
Software Architecture in Practice
Integrated Safety Analysis of Requirements Specifications
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Balancing Agility and Discipline: A Guide for the Perplexed
Balancing Agility and Discipline: A Guide for the Perplexed
Deriving Safety Requirements Using Scenarios
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Elaborating Security Requirements by Construction of Intentional Anti-Models
Proceedings of the 26th International Conference on Software Engineering
Safety Tactics for Software Architecture Design
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Scenario-Based Assessment of Nonfunctional Requirements
IEEE Transactions on Software Engineering
Failure modelling in software architecture design for safety
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Misuse Cases: Use Cases with Hostile Intent
IEEE Software
Managing architectural design decisions for safety-critical software systems
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
Of probabilistic wp and CSP - and compositionality
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
The engineering of concurrent simulations of complex systems
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Hi-index | 0.00 |
Robust software and system architectures have been increasingly recognised as one of the keys to improving dependability. However, most modern design methods and explanations of underlying design principles still remain ad hoc. The communication between design and safety assessment in practice is often characterised as an "over-the-wall" process. The problems are exacerbated by the uncertainty problem in the early development lifecycle. In this paper, we propose a Triple Peaks process framework, from which a system model, deviation model, mitigation model are proposed and linked together. The application of this framework is supported by the use of Bayesian Belief Networks and collation of relevant evidence. We elaborate the linkage between the three models by means of a case study. The central tenet in this paper is to address safety concerns based upon evidence available at an architectural level.