Loading...
Please wait, while we are loading the content...
Similar Documents
Towards integrated safety analysis and design
| Content Provider | ACM Digital Library |
|---|---|
| Author | Nicolson, M. Fenelon, P. Pumfrey, D. J. McDermid, J. A. |
| Abstract | There are currently many problems with the development and assessment of software intensive safety-critical systems. In this paper we describe the problems, and introduce a novel approach to their solution, based around goal-structuring concepts, which we believe will ameliorate some of the difficulties. We discuss the use of modified and new forms of safety assessment notations to provide evidence of safety, and the use of data derived from such notations as a means of providing quantified input into the design assessment process. We then show how the design assessment can be partially automated, and from this develop some ideas on how we might move from analytical to synthetic approaches, using safety criteria and evidence as a fitness function for comparing alternative automatically-generated designs. |
| Starting Page | 21 |
| Ending Page | 32 |
| Page Count | 12 |
| File Format | |
| ISSN | 15596915 19310161 |
| DOI | 10.1145/381766.381770 |
| Journal | ACM SIGAPP Applied Computing Review (SIAP) |
| Volume Number | 2 |
| Issue Number | 1 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2013-06-01 |
| Publisher Place | New York |
| Access Restriction | One Nation One Subscription (ONOS) |
| Subject Keyword | Safety assessment Automated design Architectural design Goal structures Method integration |
| Content Type | Text |
| Resource Type | Article |
