Architectural techniques for the description and validation of distributed real-time systems

Our goal is to settle techniques for the validation of real time distributed systems. We opted for executable models and simulation techniques. Our approach is to work at the architectural level of a system abstraction. The software architecture is understood as a set of structures comprising software components with external properties and relationships among them. We devised a language to describe those components and the logical structure of the architecture. It is a specialization and extension of object oriented modeling languages designed to deal with concurrency, reactivity and architectural concerns. This language is based on a notion of components defined similarly to the class notion, extended for the timing requirements. Execution and simulation are driven to validate behaviors with respect to desired properties.