PROTOB: an object-oriented CASE Tool for modelling and prototyping distributed systems
Software—Practice & Experience
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Software modeling and analysis using a hierarchical object-oriented Petri net
Information Sciences: an International Journal
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Designing Concurrent, Distributed, and Real-Time Applications with Uml
HPC '00 Proceedings of the The Fourth International Conference on High-Performance Computing in the Asia-Pacific Region-Volume 2 - Volume 2
Modeling behavioral design patterns of concurrent objects
Proceedings of the 28th international conference on Software engineering
Analyzing Behavior of Concurrent Software Designs for Embedded Systems
ISORC '07 Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
Lessons learned applying UML in the design of mission critical software
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
Hi-index | 0.00 |
Mission critical real-time and embedded software systems often use significant degree of concurrency within their architecture designs. Experience has shown that common problems surrounding the design of these systems include underspecified performance requirements; underspecified state-dependent behavior; and inadequately capturing concurrent interactions. Dynamic architectural models capturing the overall behavioral properties of the software system are often constructed using ad hoc techniques with little consideration given to the resulting performance or implications of concurrent behavior until the project reaches implementation. To address this issue and thus increase the confidence that a concurrent software architecture design will behave as desired, we have developed an approach to augment UML-based software designs with colored Petri nets, thus increasing the analytical capabilities at design time. An illustration of this approach using a rover control case study is included in this paper.