Software Architecture in Practice
Software Architecture in Practice
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Adding Dependability Analysis Capabilities to the MARTE Profile
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A Foundation for Requirements Analysis of Dependable Software
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Scenario-based performance engineering with UCMNAV
SDL'03 Proceedings of the 11th international conference on System design
Formal verification of use case maps with real time extensions
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Early schedulability analysis with timed use case maps
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
A dependability profile within MARTE
Software and Systems Modeling (SoSyM)
Early Availability Requirements Modeling Using Use Case Maps
ITNG '11 Proceedings of the 2011 Eighth International Conference on Information Technology: New Generations
AsmL-based concurrency semantic variations for timed use case maps
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Abstract operational semantics for use case maps
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
| Hi-index | 0.00 |
Non-functional aspects including time constraints, distribution and fault tolerance are critical in the design and implementation of distributed real-time systems. As a result, it is well recognized that non-functional requirements should be considered at the earliest stages of system development life cycle. The ability to model non-functional properties (such as timing constraints, availability, performance, and security) at the system requirements level not only facilitates the task of moving towards real-time design, but ultimately supports the early detection of errors through automated validation and verification. In this paper, we introduce a novel approach to describe availability features in Use Case Maps (UCM) specifications. The proposed approach relies on a mapping of availability architectural tactics to UCM components. We illustrate the application of our approach using the In Service Software Upgrade (ISSU) feature on IP routers.