Prof Julian Bass J.Bass@salford.ac.uk
Professor of Software Engineering
Prof Julian Bass J.Bass@salford.ac.uk
Professor of Software Engineering
S. Metge
A. Browne
P.R. Croll
P.J. Fleming
The Development Framework provides a highly automatic translation from a specification to an implementation. The specification is in a popular, graphical control engineering notation typically representing a system with stringent reliability requirements and hard real time constraints. An interface has been constructed between the Development Framework and the commercially available dependability modelling tool, SURF-2. This tool is designed to support an evaluation based design approach. Multiple design solutions can be compared to assess the implications of design decisions on the dependability of the system under development. The software demonstration will show how the interface between the Development Framework and SURF-2 is used to model the inclusion of selected fault tolerant mechanisms in the system under development.
Presentation Conference Type | Conference Paper (published) |
---|---|
Conference Name | Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers |
Start Date | Jun 27, 1995 |
End Date | Jun 30, 1995 |
Online Publication Date | Aug 6, 2002 |
Publication Date | Jun 30, 1995 |
Deposit Date | Jan 19, 2024 |
Publisher | Institute of Electrical and Electronics Engineers |
DOI | https://doi.org/10.1109/FTCS.1995.466990 |
Managing nonâfunctional requirements in agile software development
(2021)
Journal Article
An architecture governance approach for Agile development by tailoring the Spotify model
(2021)
Journal Article
Overcoming team boundaries in agile software development
(2021)
Journal Article
Scrum for product innovation : a longitudinal embedded case study
(2018)
Journal Article
About USIR
Administrator e-mail: library-research@salford.ac.uk
This application uses the following open-source libraries:
Apache License Version 2.0 (http://www.apache.org/licenses/)
Apache License Version 2.0 (http://www.apache.org/licenses/)
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search