{"title":"Architectural techniques for the description and validation of distributed real-time systems","authors":"L. Thomas, Thomas Lambolais, Renaud Lesiour","doi":"10.1109/ISORC.1999.776399","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":211905,"journal":{"name":"Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISORC.1999.776399","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
Abstract
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
