The paper gives an overview of some results and lessons learned from the application of object-oriented (OO) techniques to real-time systems development. These results have been obtained within the scope of a research project which investigates what advantages can be achieved applying OO issues to real-time systems development, and what improvements in the existing OO methods are needed in order to make them really usable for real-time applications. One of the case studies performed, the process control and monitoring of a package routing system, is used in a comparison of the results obtained by applying an OO approach and a 'conventional' one (functional decomposition using concurrent processes). The paper focuses mainly on aspects concerning the real-time software implementation phase.<>
{"title":"Putting OO to work: results from applying the object-oriented paradigm during the development of real-time applications","authors":"C. Pereira","doi":"10.1109/RTA.1993.263094","DOIUrl":"https://doi.org/10.1109/RTA.1993.263094","url":null,"abstract":"The paper gives an overview of some results and lessons learned from the application of object-oriented (OO) techniques to real-time systems development. These results have been obtained within the scope of a research project which investigates what advantages can be achieved applying OO issues to real-time systems development, and what improvements in the existing OO methods are needed in order to make them really usable for real-time applications. One of the case studies performed, the process control and monitoring of a package routing system, is used in a comparison of the results obtained by applying an OO approach and a 'conventional' one (functional decomposition using concurrent processes). The paper focuses mainly on aspects concerning the real-time software implementation phase.<<ETX>>","PeriodicalId":293622,"journal":{"name":"[1993] Proceedings of the IEEE Workshop on Real-Time Applications","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122792081","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
R. Sivasankaran, B. Purimetla, J. Stankovic, K. Ramamritham
A methodical study of real-time database applications can help identify the important research issues in real-time databases. The authors discuss the data and transaction characteristics of a telephone network services database in an attempt to study real-time database issues in the context of an application and to identify new research issues. Network services databases are soft/firm real-time systems and provide support for the service-providing intelligent network. They also present a brief explanation of a distributed active real-time database simulator built for the purpose of experimenting with issues that arise in applications such as the Network Services Database.<>
{"title":"Network Services Database-a distributed active real-time database (DARTDB) application","authors":"R. Sivasankaran, B. Purimetla, J. Stankovic, K. Ramamritham","doi":"10.1109/RTA.1993.263090","DOIUrl":"https://doi.org/10.1109/RTA.1993.263090","url":null,"abstract":"A methodical study of real-time database applications can help identify the important research issues in real-time databases. The authors discuss the data and transaction characteristics of a telephone network services database in an attempt to study real-time database issues in the context of an application and to identify new research issues. Network services databases are soft/firm real-time systems and provide support for the service-providing intelligent network. They also present a brief explanation of a distributed active real-time database simulator built for the purpose of experimenting with issues that arise in applications such as the Network Services Database.<<ETX>>","PeriodicalId":293622,"journal":{"name":"[1993] Proceedings of the IEEE Workshop on Real-Time Applications","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122009228","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The authors present an application of formal development methodology to an actual real-time embedded system. The formal methods used are based on Modechart a graphical state specification language for real-time systems, whose formal semantic definition provides the basis for analysis. The specifications may be automatically simulated, or verified with respect to user-provided safety, liveness, and timing assertions. The application is of non-toy size and functionality, and features many state-of-the-practice design properties, such as parallel priority-based synchronizing processes with preemption.<>
{"title":"Applying formal methods to an embedded real-time avionics system","authors":"P. Clements, C. Heitmeyer, B. Labaw, A. Mok","doi":"10.1109/RTA.1993.263118","DOIUrl":"https://doi.org/10.1109/RTA.1993.263118","url":null,"abstract":"The authors present an application of formal development methodology to an actual real-time embedded system. The formal methods used are based on Modechart a graphical state specification language for real-time systems, whose formal semantic definition provides the basis for analysis. The specifications may be automatically simulated, or verified with respect to user-provided safety, liveness, and timing assertions. The application is of non-toy size and functionality, and features many state-of-the-practice design properties, such as parallel priority-based synchronizing processes with preemption.<<ETX>>","PeriodicalId":293622,"journal":{"name":"[1993] Proceedings of the IEEE Workshop on Real-Time Applications","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131637652","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：