Pub Date : 1998-04-20DOI: 10.1109/ISORC.1998.666772
J. Miyao
Embedded microprocessors are widely used in many kinds of industrial products, and the number of processors in a product has been greatly increased. Thus, such a system constitutes a complex embedded system which is distributed and reliable. I propose a software architecture for complex embedded systems based on the concepts of autonomous error checking and correction, acceptance test with load control, and request deletion. They will resolve the problems of unexpected overload, interference from other processors, and no protection for software failure or bugs.
{"title":"A reliable software architecture for complex embedded systems","authors":"J. Miyao","doi":"10.1109/ISORC.1998.666772","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666772","url":null,"abstract":"Embedded microprocessors are widely used in many kinds of industrial products, and the number of processors in a product has been greatly increased. Thus, such a system constitutes a complex embedded system which is distributed and reliable. I propose a software architecture for complex embedded systems based on the concepts of autonomous error checking and correction, acceptance test with load control, and request deletion. They will resolve the problems of unexpected overload, interference from other processors, and no protection for software failure or bugs.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116316700","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 : 1998-04-20DOI: 10.1109/ISORC.1998.666795
I. Ho, Jin-Cherng Lin
Real time software must satisfy not only functional correctness requirements but also timeliness requirements. A lot of real time research has focused on analysis rather than testing. During the execution of real time software, a sequence of events due to time take place between the concurrent processes. Because of the unpredictable progress of concurrent processes, multiple executions of real time software with the same test cases may produce different results. This nondeterministic execution behavior always creates problems in software testing. The paper is concerned with test case generation for real time systems. It includes: (1) a guideline on how to handle the nondeterministic properties of real time systems; and (2) the way test cases are generated using a dual language based model and path like testing strategy.
{"title":"A method of test cases generation for real-time systems","authors":"I. Ho, Jin-Cherng Lin","doi":"10.1109/ISORC.1998.666795","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666795","url":null,"abstract":"Real time software must satisfy not only functional correctness requirements but also timeliness requirements. A lot of real time research has focused on analysis rather than testing. During the execution of real time software, a sequence of events due to time take place between the concurrent processes. Because of the unpredictable progress of concurrent processes, multiple executions of real time software with the same test cases may produce different results. This nondeterministic execution behavior always creates problems in software testing. The paper is concerned with test case generation for real time systems. It includes: (1) a guideline on how to handle the nondeterministic properties of real time systems; and (2) the way test cases are generated using a dual language based model and path like testing strategy.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125236346","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 : 1998-04-20DOI: 10.1109/ISORC.1998.666765
H. Kopetz
The Time-Triggered Architecture (TTA) is a computer architecture for distributed real-time systems in safety critical applications, such as computer controlled brakes, or computer assisted steering in an automobile. The TTA is a composable architecture for the design of large real-time systems. Its main characteristics are a common notion of time in all subsystems of the architecture and the provision of fully specified interfaces, called temporal firewalls, between these subsystems. This paper gives an overview of the TTA, discusses the architectural principles, describes the sensor/actuator interfaces in the TTA and informs about the implementation of fault-tolerance in the TTA.
{"title":"The time-triggered architecture","authors":"H. Kopetz","doi":"10.1109/ISORC.1998.666765","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666765","url":null,"abstract":"The Time-Triggered Architecture (TTA) is a computer architecture for distributed real-time systems in safety critical applications, such as computer controlled brakes, or computer assisted steering in an automobile. The TTA is a composable architecture for the design of large real-time systems. Its main characteristics are a common notion of time in all subsystems of the architecture and the provision of fully specified interfaces, called temporal firewalls, between these subsystems. This paper gives an overview of the TTA, discusses the architectural principles, describes the sensor/actuator interfaces in the TTA and informs about the implementation of fault-tolerance in the TTA.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122472733","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 : 1998-04-20DOI: 10.1109/ISORC.1998.666797
A. H. Frigeri, C. Pereira, W. Halang
This paper presents an object-oriented extension to the real-time programming language PEARL. The new language preserves PEARL's expressiveness for timeliness and industrial processes and, at same time, improves the language's readability and manageability (through the better encapsulation paradigm derived from the object concept). Moreover, the resulting object model allows the definition of inter and intra object parallelism in a transparent and simple way. Besides that, some extensions are also proposed to enhance testability and safety-related aspects of the language, such as the enforcement of deterministic temporal behaviour.
{"title":"An object-oriented extension to PEARL90","authors":"A. H. Frigeri, C. Pereira, W. Halang","doi":"10.1109/ISORC.1998.666797","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666797","url":null,"abstract":"This paper presents an object-oriented extension to the real-time programming language PEARL. The new language preserves PEARL's expressiveness for timeliness and industrial processes and, at same time, improves the language's readability and manageability (through the better encapsulation paradigm derived from the object concept). Moreover, the resulting object model allows the definition of inter and intra object parallelism in a transparent and simple way. Besides that, some extensions are also proposed to enhance testability and safety-related aspects of the language, such as the enforcement of deterministic temporal behaviour.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125261957","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 : 1998-04-20DOI: 10.1109/ISORC.1998.666814
J. Stankovic, S. Son
The confluence of computers, communications, and databases is quickly creating a global virtual database where many applications require real time access to both temporally accurate and multimedia data. This is particularly true in military and intelligence applications, but these required features are needed in many commercial applications as well. We are developing a distributed database, called BeeHive, which could offer features along different types of requirements: real time, fault tolerance, security, and quality of service for audio and video. Support of these features and potential trade offs between them could provide a significant improvement in performance and functionality over current distributed database and object management systems. We present a high level design for BeeHive architecture and sketch the design of the BeeHive Object Model (BOM) which extends object oriented data models by incorporating time and other features into objects.
{"title":"Architecture and object model for distributed object-oriented real-time databases","authors":"J. Stankovic, S. Son","doi":"10.1109/ISORC.1998.666814","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666814","url":null,"abstract":"The confluence of computers, communications, and databases is quickly creating a global virtual database where many applications require real time access to both temporally accurate and multimedia data. This is particularly true in military and intelligence applications, but these required features are needed in many commercial applications as well. We are developing a distributed database, called BeeHive, which could offer features along different types of requirements: real time, fault tolerance, security, and quality of service for audio and video. Support of these features and potential trade offs between them could provide a significant improvement in performance and functionality over current distributed database and object management systems. We present a high level design for BeeHive architecture and sketch the design of the BeeHive Object Model (BOM) which extends object oriented data models by incorporating time and other features into objects.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121618755","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 : 1998-04-20DOI: 10.1109/ISORC.1998.666768
J. Sydir, S. Chatterjee, B. Sabata
In this paper we describe the implementation of our end-to-end QoS-driven resource management scheme, called ERDoS, within a CORBA-compliant ORB that we call the ERDoS QoS ORB. Unlike other real-time CORBA implementations that focus on real-time support for simple client-server applications, our ERDoS QoS ORB provides end-to-end QoS support (i.e., QoS spanning computer network, and storage resources) to applications, while retaining the benefits of an open distributed object system. Specifically we present three contributions. First, we present a model for describing end-to-end applications as a combination of client-server interactions between CORBA objects. Second, we define a model for relating the user/application level QoS requirements to the corresponding resource demand requirements of these individual CORBA objects. Third, we suggest a framework for performing distributed resource management within the CORBA environment.
{"title":"Providing end-to-end QoS assurances in a CORBA-based system","authors":"J. Sydir, S. Chatterjee, B. Sabata","doi":"10.1109/ISORC.1998.666768","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666768","url":null,"abstract":"In this paper we describe the implementation of our end-to-end QoS-driven resource management scheme, called ERDoS, within a CORBA-compliant ORB that we call the ERDoS QoS ORB. Unlike other real-time CORBA implementations that focus on real-time support for simple client-server applications, our ERDoS QoS ORB provides end-to-end QoS support (i.e., QoS spanning computer network, and storage resources) to applications, while retaining the benefits of an open distributed object system. Specifically we present three contributions. First, we present a model for describing end-to-end applications as a combination of client-server interactions between CORBA objects. Second, we define a model for relating the user/application level QoS requirements to the corresponding resource demand requirements of these individual CORBA objects. Third, we suggest a framework for performing distributed resource management within the CORBA environment.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117008850","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 : 1998-04-20DOI: 10.1109/ISORC.1998.666767
J. Loyall, R. Schantz, J. Zinky, D. Bakken
Distributed applications are difficult to build and maintain and are even more difficult when the applications are distributed over wide-area networks. Distributed Object Computing middleware has emerged to simplify the building of distributed applications by hiding implementation details behind functional interfaces. However, critical applications have non-functional requirements, such as real-time performance, dependability, or security, that are as important as the functional requirements, but are also hidden by the middleware. Because current distributed object middleware doesn't support these aspects of critical applications, application developers often find themselves bypassing the distributed object systems, effectively gaining little or no advantage from the middleware. We have developed Quality Objects (QuO), a framework for including Quality of Service (QoS) in distributed object applications. QuO supports the specification of QoS contracts between clients and service providers, runtime monitoring of contracts, and adaptation to changing system conditions. A crucial aspect of QuO is a suite of Quality Description Languages for describing states of QoS, system elements that need to be monitored to measure the current QoS, and notification and adaptation to trigger when the state of QoS in the system changes. This paper gives a brief overview of QuO and describes the syntax and semantics of CDL, the component of QDL for describing QoS contracts.
{"title":"Specifying and measuring quality of service in distributed object systems","authors":"J. Loyall, R. Schantz, J. Zinky, D. Bakken","doi":"10.1109/ISORC.1998.666767","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666767","url":null,"abstract":"Distributed applications are difficult to build and maintain and are even more difficult when the applications are distributed over wide-area networks. Distributed Object Computing middleware has emerged to simplify the building of distributed applications by hiding implementation details behind functional interfaces. However, critical applications have non-functional requirements, such as real-time performance, dependability, or security, that are as important as the functional requirements, but are also hidden by the middleware. Because current distributed object middleware doesn't support these aspects of critical applications, application developers often find themselves bypassing the distributed object systems, effectively gaining little or no advantage from the middleware. We have developed Quality Objects (QuO), a framework for including Quality of Service (QoS) in distributed object applications. QuO supports the specification of QoS contracts between clients and service providers, runtime monitoring of contracts, and adaptation to changing system conditions. A crucial aspect of QuO is a suite of Quality Description Languages for describing states of QoS, system elements that need to be monitored to measure the current QoS, and notification and adaptation to trigger when the state of QoS in the system changes. This paper gives a brief overview of QuO and describes the syntax and semantics of CDL, the component of QDL for describing QoS contracts.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126837163","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 : 1998-04-20DOI: 10.1109/ISORC.1998.666819
J. Jézéquel
Many engineers are still reluctant to adopt advanced object oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded systems with real time constraints, because of their supposed inefficiency. We set ourselves into the context of building telecommunication systems with a standard object oriented analysis and design approach. We describe how we use relevant design patterns, followed with an implementation in a pure object oriented language (Eiffel) to conciliate the needed efficiency with the benefits of the object oriented approach-flexibility, dynamic configurability, maintainability, portability etc. We discuss a case study based on the implementation of SMDS (Switched Multi-megabits Data Service) servers featuring high throughput and low delay transmissions and respecting the real time constraints of SMDS.
{"title":"Object-oriented design of real-time telecom systems","authors":"J. Jézéquel","doi":"10.1109/ISORC.1998.666819","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666819","url":null,"abstract":"Many engineers are still reluctant to adopt advanced object oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded systems with real time constraints, because of their supposed inefficiency. We set ourselves into the context of building telecommunication systems with a standard object oriented analysis and design approach. We describe how we use relevant design patterns, followed with an implementation in a pure object oriented language (Eiffel) to conciliate the needed efficiency with the benefits of the object oriented approach-flexibility, dynamic configurability, maintainability, portability etc. We discuss a case study based on the implementation of SMDS (Switched Multi-megabits Data Service) servers featuring high throughput and low delay transmissions and respecting the real time constraints of SMDS.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"491 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132235384","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 : 1998-04-20DOI: 10.1109/ISORC.1998.666789
J. Talpin, A. Benveniste, B. Caillaud, C. Jard, Zakaria Bouziane, Hubert Canon
We introduce the definition of a language of distributed reactive objects, a Behaviour Description Language (BDL), as a unified medium for specifying, verifying, compiling and validating object-oriented distributed reactive systems. One of the novelties in BDL is its seamless integration into the Unified Modeling Language approach (UML). BDL supports a description of objects interaction which respects both the functional architecture of system designs and the declarative style of diagram descriptions. This support is implemented by means of a partial-order theoretical framework. This framework allows to specify both the causality and the control models of object interactions independently of any hypothesis on the actual configuration of the system. Given the description of such a configuration, the use of BDL offers new perspectives for a flexible verification of systems by modeling them as an asynchronous network of synchronous components. It allows an optimized code generation by using compilation techniques developed for synchronous languages. It permits an accurate validation and test of applications by supporting the manipulation of both causal and control dependencies. BDL aims at maximizing the re-usability of high-level specifications while minimizing programming effort and test-case based validation of distributed systems.
{"title":"BDL, a language of distributed reactive objects","authors":"J. Talpin, A. Benveniste, B. Caillaud, C. Jard, Zakaria Bouziane, Hubert Canon","doi":"10.1109/ISORC.1998.666789","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666789","url":null,"abstract":"We introduce the definition of a language of distributed reactive objects, a Behaviour Description Language (BDL), as a unified medium for specifying, verifying, compiling and validating object-oriented distributed reactive systems. One of the novelties in BDL is its seamless integration into the Unified Modeling Language approach (UML). BDL supports a description of objects interaction which respects both the functional architecture of system designs and the declarative style of diagram descriptions. This support is implemented by means of a partial-order theoretical framework. This framework allows to specify both the causality and the control models of object interactions independently of any hypothesis on the actual configuration of the system. Given the description of such a configuration, the use of BDL offers new perspectives for a flexible verification of systems by modeling them as an asynchronous network of synchronous components. It allows an optimized code generation by using compilation techniques developed for synchronous languages. It permits an accurate validation and test of applications by supporting the manipulation of both causal and control dependencies. BDL aims at maximizing the re-usability of high-level specifications while minimizing programming effort and test-case based validation of distributed systems.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126058839","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 : 1998-04-20DOI: 10.1109/ISORC.1998.666782
Fan Xiaocong, Xu Dianxiang, Hou Jianmin, Z. Guoliang
Agent oriented programming (AOP) is a special kind of object-oriented programming. It can be worked out best for open systems and has the potentials to become a very attractive technique in the future. In this paper, we describe a specification and programming language-SPLAW. The syntax and operational semantics of SPLAW are presented, and by means of labeled transition system, the proof theory is also provided. SPLAW is based on KQML, the standard inter-agent communication language, which makes it possible for agents written in SPLAW to interoperate with other agents obeying KQML.
{"title":"SPLAW: A computable agent-oriented programming language","authors":"Fan Xiaocong, Xu Dianxiang, Hou Jianmin, Z. Guoliang","doi":"10.1109/ISORC.1998.666782","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666782","url":null,"abstract":"Agent oriented programming (AOP) is a special kind of object-oriented programming. It can be worked out best for open systems and has the potentials to become a very attractive technique in the future. In this paper, we describe a specification and programming language-SPLAW. The syntax and operational semantics of SPLAW are presented, and by means of labeled transition system, the proof theory is also provided. SPLAW is based on KQML, the standard inter-agent communication language, which makes it possible for agents written in SPLAW to interoperate with other agents obeying KQML.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115093930","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
扫码关注我们
求助内容：
应助结果提醒方式：