Concurrency: state models & Java programs
Concurrency: state models & Java programs
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Constructing Interoperable Components in Distributed Systems
TOOLS '99 Proceedings of the 32nd International Conference on Technology of Object-Oriented Languages
Trustworthy components-compositionality and prediction
Journal of Systems and Software - Special issue on: Component-based software engineering
Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Runtime Verification of Timing and Probabilistic Properties using WMI and .NET
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
Systematic simplicity-accuracy tradeoffs in parameterised contract models
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Hi-index | 0.00 |
Delivering and maintaining dependable component-based systems within budget is a significant practical challenge. Best practice even in large organisations is only just starting to move beyond simple testing for verification of performance and reliability.The eCAP(-CBCS) project, a collaboration between ABB Corporate Research and Monash University, Australia, seeks to extend research in architectural modelling and analysis, and apply it to distributed, embedded control systems. Background theory developed by Monash's Distributed Systems and Software Engineering group includes generic models for composing parameterisedcomponent interaction protocols, behaviours, types and properties such as reliability and execution time.The project produced a prototype to detect and diagnose excessive peak load in controllers caused by high task worst-case execution time / interval time ratios. Development incorporated typical business and technical requirements, both functional and extra-functional, e.g., integration into an existing development platform, prediction strategy to cope with components without source, usability, and adequate analyser performance.Lessons learned and observations include: applications for software metrics and profile visualisation techniques; design refinements such as component type parameterisation for accurate, context-sensitive component property analyses, and; ideas for exploiting underlying theory such as context-sensitive model-driven performance testing.