Pub Date : 1999-11-18DOI: 10.1109/WORDSF.1999.842343
M. Franz, Peter H. Fröhlich, T. Kistler
Component-oriented programming promises to finally make the vision of pervasive software components a reality. In the area of dependable real-time systems, the benefits of increased reuse, reliability and efficiency make component-oriented programming especially attractive. As part of the Lagoona project, we are investigating how component-oriented programming can be supported at the level of programming languages. Recently, we have also become interested in supporting the construction of real-time systems within the Lagoona framework, and we have started exploring the language design space for this domain. We outline the design of the experimental programming language Lagoona and discuss two of its novel features in more detail. We also discuss the difficulties we see for integrating the ideas of component-oriented programming with the requirements of real-time systems.
{"title":"Towards language support for component-oriented real-time programming","authors":"M. Franz, Peter H. Fröhlich, T. Kistler","doi":"10.1109/WORDSF.1999.842343","DOIUrl":"https://doi.org/10.1109/WORDSF.1999.842343","url":null,"abstract":"Component-oriented programming promises to finally make the vision of pervasive software components a reality. In the area of dependable real-time systems, the benefits of increased reuse, reliability and efficiency make component-oriented programming especially attractive. As part of the Lagoona project, we are investigating how component-oriented programming can be supported at the level of programming languages. Recently, we have also become interested in supporting the construction of real-time systems within the Lagoona framework, and we have started exploring the language design space for this domain. We outline the design of the experimental programming language Lagoona and discuss two of its novel features in more detail. We also discuss the difficulties we see for integrating the ideas of component-oriented programming with the requirements of real-time systems.","PeriodicalId":416568,"journal":{"name":"Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124582306","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}
Pub Date : 1999-11-18DOI: 10.1109/WORDSF.1999.842338
A. Bondavalli, M. D. Cin, D. Latella, A. Pataricza
For most systems, especially dependable real-time systems for critical applications, an effective design process requires an early validation of the concepts and architectural choices, without wasting time and resources prior of checking whether the system fulfils its objectives or needs some re-design. Although a thorough system specification surely increases the level of confidence that can be put on a system, it is insufficient to guarantee that the system will adequately perform its tasks during its entire life-cycle. The early evaluation of system characteristics like dependability, timeliness and correctness is thus necessary to assess the conformance of the system under development to its targets. This paper presents some activities currently being performed towards an integrated environment for the design and the validation of dependable systems.
{"title":"High-level Integrated Design Environment for dependability (HIDE)","authors":"A. Bondavalli, M. D. Cin, D. Latella, A. Pataricza","doi":"10.1109/WORDSF.1999.842338","DOIUrl":"https://doi.org/10.1109/WORDSF.1999.842338","url":null,"abstract":"For most systems, especially dependable real-time systems for critical applications, an effective design process requires an early validation of the concepts and architectural choices, without wasting time and resources prior of checking whether the system fulfils its objectives or needs some re-design. Although a thorough system specification surely increases the level of confidence that can be put on a system, it is insufficient to guarantee that the system will adequately perform its tasks during its entire life-cycle. The early evaluation of system characteristics like dependability, timeliness and correctness is thus necessary to assess the conformance of the system under development to its targets. This paper presents some activities currently being performed towards an integrated environment for the design and the validation of dependable systems.","PeriodicalId":416568,"journal":{"name":"Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124374378","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}
Pub Date : 1999-11-18DOI: 10.1109/WORDSF.1999.842332
P. Dechering, E. Jong
Presents a formal object model in which the replication of components and recovery from crash failures are transparent. The model is based on concurrently executing objects that interact through a shared data space. We formally define the model by a denotational semantics in which the possible behaviours of an object are defined by a corresponding set of state transition traces. Using the semantics, we derive some fundamental algebraic properties of the model that reflect transparent replication and crash recovery.
{"title":"Transparent object replication: a formal model","authors":"P. Dechering, E. Jong","doi":"10.1109/WORDSF.1999.842332","DOIUrl":"https://doi.org/10.1109/WORDSF.1999.842332","url":null,"abstract":"Presents a formal object model in which the replication of components and recovery from crash failures are transparent. The model is based on concurrently executing objects that interact through a shared data space. We formally define the model by a denotational semantics in which the possible behaviours of an object are defined by a corresponding set of state transition traces. Using the semantics, we derive some fundamental algebraic properties of the model that reflect transparent replication and crash recovery.","PeriodicalId":416568,"journal":{"name":"Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128664727","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}
Pub Date : 1999-11-18DOI: 10.1109/WORDSF.1999.842333
S. K. Wong, T. Dillon, A. A. Hanish, E. Chang
Considerable work has previously been done on testing the static aspects of object-oriented systems. This includes both unit testing of individual objects as well as integration testing, which tests whether the static relationships between objects (such as inheritance and aggregation) have been properly implemented. Little work has been done on testing the dynamic aspects beyond testing individual methods. Important issues such as message sequencing, the execution order of methods and inter-object dynamics have not been adequately addressed in the literature. In this paper, we propose a method of software testing the dynamics of these object-oriented systems.
{"title":"Software testing of the behavioral aspects of objects","authors":"S. K. Wong, T. Dillon, A. A. Hanish, E. Chang","doi":"10.1109/WORDSF.1999.842333","DOIUrl":"https://doi.org/10.1109/WORDSF.1999.842333","url":null,"abstract":"Considerable work has previously been done on testing the static aspects of object-oriented systems. This includes both unit testing of individual objects as well as integration testing, which tests whether the static relationships between objects (such as inheritance and aggregation) have been properly implemented. Little work has been done on testing the dynamic aspects beyond testing individual methods. Important issues such as message sequencing, the execution order of methods and inter-object dynamics have not been adequately addressed in the literature. In this paper, we propose a method of software testing the dynamics of these object-oriented systems.","PeriodicalId":416568,"journal":{"name":"Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121150600","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}
Pub Date : 1999-11-18DOI: 10.1109/WORDSF.1999.842339
M. Saksena
The translation of object-oriented design models into implementations requires a number of decisions to be made before the code can be generated. Besides choosing the target platform, these decisions also include strategies for multi-tasking and scheduling, the selection of scheduling attributes, etc. Such decisions clearly impact the QoS properties of the implemented system. In this paper, we address the problem of synthesizing QoS-preserving implementations from object-oriented design models. Based on our recent research experience in applying fixed-priority schedulability analysis techniques to real-time object-oriented designs, we present some of the obstacles in automating this process. We also present a brief overview of our research results in addressing this problem.
{"title":"Towards automatic synthesis of QoS preserving implementations from object-oriented design models","authors":"M. Saksena","doi":"10.1109/WORDSF.1999.842339","DOIUrl":"https://doi.org/10.1109/WORDSF.1999.842339","url":null,"abstract":"The translation of object-oriented design models into implementations requires a number of decisions to be made before the code can be generated. Besides choosing the target platform, these decisions also include strategies for multi-tasking and scheduling, the selection of scheduling attributes, etc. Such decisions clearly impact the QoS properties of the implemented system. In this paper, we address the problem of synthesizing QoS-preserving implementations from object-oriented design models. Based on our recent research experience in applying fixed-priority schedulability analysis techniques to real-time object-oriented designs, we present some of the obstacles in automating this process. We also present a brief overview of our research results in addressing this problem.","PeriodicalId":416568,"journal":{"name":"Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122518431","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}
Pub Date : 1999-11-18DOI: 10.1109/WORDSF.1999.842330
H. Higaki, N. Nemoto, Katsuya Tanaka, M. Takizawa
Distributed applications are realized by the cooperation of multiple objects based on client-server style communication. Server objects are replicated on multiple computers to achieve fault tolerance. In active replication, all the replicated server objects (replicas) receive the same requests in the same order from the client objects, invoke the same operations (methods) and send back responses. These replicas might be placed on different kinds of computers with different processing speeds. In addition, these computers might be connected to different networks, i.e. replicas might be distributed in a WAN. To apply active replication to such a heterogeneous environment, this paper proposes a pseudo-active replication where a client object receives only the first response from the replicas. In order to reduce the recovery time due to the difference in processing speeds among the replicas, two techniques are introduced. One is to detect the fastest replica and the other is for the slower replicas to catch up with the fastest one; requests for identity and idempotent operations (methods) are not invoiced in the slower replicas. Furthermore, in order to reduce the response time for requests from client objects, requests for compatible operations (methods) are invoiced in different order in the replicas. The order is decided based on the round-trip time between client objects and replicas for supporting WAN environments. These are realized by piggybacking some additional information with the control messages for the ordering protocol, i.e. no additional message is required in the proposed protocol.
{"title":"Protocol for groups of pseudo-active replicated objects","authors":"H. Higaki, N. Nemoto, Katsuya Tanaka, M. Takizawa","doi":"10.1109/WORDSF.1999.842330","DOIUrl":"https://doi.org/10.1109/WORDSF.1999.842330","url":null,"abstract":"Distributed applications are realized by the cooperation of multiple objects based on client-server style communication. Server objects are replicated on multiple computers to achieve fault tolerance. In active replication, all the replicated server objects (replicas) receive the same requests in the same order from the client objects, invoke the same operations (methods) and send back responses. These replicas might be placed on different kinds of computers with different processing speeds. In addition, these computers might be connected to different networks, i.e. replicas might be distributed in a WAN. To apply active replication to such a heterogeneous environment, this paper proposes a pseudo-active replication where a client object receives only the first response from the replicas. In order to reduce the recovery time due to the difference in processing speeds among the replicas, two techniques are introduced. One is to detect the fastest replica and the other is for the slower replicas to catch up with the fastest one; requests for identity and idempotent operations (methods) are not invoiced in the slower replicas. Furthermore, in order to reduce the response time for requests from client objects, requests for compatible operations (methods) are invoiced in different order in the replicas. The order is decided based on the round-trip time between client objects and replicas for supporting WAN environments. These are realized by piggybacking some additional information with the control messages for the ordering protocol, i.e. no additional message is required in the proposed protocol.","PeriodicalId":416568,"journal":{"name":"Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"125 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128702753","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}
Pub Date : 1999-11-18DOI: 10.1109/WORDSF.1999.842328
S. Ohara, Linhua Hu, Meng Hui, Taehyung Wang, P. Sheu, F. Tsunoda
Our research in the past has been focused on the use of database/knowledge base technologies to automate software testing tasks in order to provide a more cost-effective approach to managing software faults. Our recent interest is to build a knowledge-based testing and evaluation (T&E) environment such that tests, faults and diagnoses associated with a program at different levels of abstraction over time are presented and stored as objects. These objects can be automatically tracked and analyzed so that patterns and knowledge can be extracted to facilitate the T&E of future software products and to facilitate the maintenance of existing products.
{"title":"A database approach to testing and evaluating of object-oriented programs","authors":"S. Ohara, Linhua Hu, Meng Hui, Taehyung Wang, P. Sheu, F. Tsunoda","doi":"10.1109/WORDSF.1999.842328","DOIUrl":"https://doi.org/10.1109/WORDSF.1999.842328","url":null,"abstract":"Our research in the past has been focused on the use of database/knowledge base technologies to automate software testing tasks in order to provide a more cost-effective approach to managing software faults. Our recent interest is to build a knowledge-based testing and evaluation (T&E) environment such that tests, faults and diagnoses associated with a program at different levels of abstraction over time are presented and stored as objects. These objects can be automatically tracked and analyzed so that patterns and knowledge can be extracted to facilitate the T&E of future software products and to facilitate the maintenance of existing products.","PeriodicalId":416568,"journal":{"name":"Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132265452","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}
Pub Date : 1999-11-18DOI: 10.1109/WORDSF.1999.842334
L. DiPippo, Ethan Hodys, B. Thuraisingham
Applications such as military training simulations and electronic commerce can benefit from the flexible and responsive nature of multi-agent systems. These applications have inherent timing constraints on the operations and interactions that the agents might perform. This paper presents a real-time agent architecture in which agents communicate, cooperate, coordinate and negotiate to meet the goals of a particular application under specified timing constraints. The architecture provides a real-time CORBA layer to handle the underlying real-time communication. It also has a real-time agent communication layer in which agents interact via a real-time extension of a well-known agent communication language.
{"title":"Towards a real-time agent architecture-a whitepaper","authors":"L. DiPippo, Ethan Hodys, B. Thuraisingham","doi":"10.1109/WORDSF.1999.842334","DOIUrl":"https://doi.org/10.1109/WORDSF.1999.842334","url":null,"abstract":"Applications such as military training simulations and electronic commerce can benefit from the flexible and responsive nature of multi-agent systems. These applications have inherent timing constraints on the operations and interactions that the agents might perform. This paper presents a real-time agent architecture in which agents communicate, cooperate, coordinate and negotiate to meet the goals of a particular application under specified timing constraints. The architecture provides a real-time CORBA layer to handle the underlying real-time communication. It also has a real-time agent communication layer in which agents interact via a real-time extension of a well-known agent communication language.","PeriodicalId":416568,"journal":{"name":"Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115212885","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}
Pub Date : 1999-11-18DOI: 10.1109/WORDSF.1999.842327
O. Sokolsky, Sampath Kannan, Moonjoo Kim, Insup Lee, Mahesh Viswanathan
Presents an approach to enhance the fault tolerance of real-time systems through steering. Steering means external alteration of the system's behavior in response to a deviation from requirements. The steering technique is embedded into a framework of monitoring and checking (MaC). MaC allows the users to perform runtime analysis of the current execution of a system with respect to formally specified requirements. We describe our current and future work on steering, including the language to specify steering actions and system instrumentation that enables steering. A prototype implementation for the monitoring and steering of Java programs is also presented.
{"title":"Steering of real-time systems based on monitoring and checking","authors":"O. Sokolsky, Sampath Kannan, Moonjoo Kim, Insup Lee, Mahesh Viswanathan","doi":"10.1109/WORDSF.1999.842327","DOIUrl":"https://doi.org/10.1109/WORDSF.1999.842327","url":null,"abstract":"Presents an approach to enhance the fault tolerance of real-time systems through steering. Steering means external alteration of the system's behavior in response to a deviation from requirements. The steering technique is embedded into a framework of monitoring and checking (MaC). MaC allows the users to perform runtime analysis of the current execution of a system with respect to formally specified requirements. We describe our current and future work on steering, including the language to specify steering actions and system instrumentation that enables steering. A prototype implementation for the monitoring and steering of Java programs is also presented.","PeriodicalId":416568,"journal":{"name":"Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127754293","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}
Pub Date : 1999-11-18DOI: 10.1109/WORDSF.1999.842336
M. Ceruti, B. Thuraisingham
Describes work that needs to be done to integrate the features of security, fault tolerance and real-time computing into object-oriented technology to produce "dependable objects". This dependable technology can be applied in the areas of databases, middleware (including object request brokers) and object-based design and analysis methodologies. The accomplishments to date of various groups and organizations are reviewed and some preliminary ideas for new research directions are revealed.
{"title":"Dependable objects for databases, middleware and methodologies: a position paper","authors":"M. Ceruti, B. Thuraisingham","doi":"10.1109/WORDSF.1999.842336","DOIUrl":"https://doi.org/10.1109/WORDSF.1999.842336","url":null,"abstract":"Describes work that needs to be done to integrate the features of security, fault tolerance and real-time computing into object-oriented technology to produce \"dependable objects\". This dependable technology can be applied in the areas of databases, middleware (including object request brokers) and object-based design and analysis methodologies. The accomplishments to date of various groups and organizations are reviewed and some preliminary ideas for new research directions are revealed.","PeriodicalId":416568,"journal":{"name":"Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116535038","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
扫码关注我们
求助内容：
应助结果提醒方式：