Pub Date : 1998-04-20DOI: 10.1109/ISORC.1998.666810
F. Zhu, Sanjai Rayadurgam, W. Tsai
Many real time systems evolve over time due to new requirements and technology improvements. Each revision requires regression resting to ensure that existing functionality is not affected by such changes. Testing these systems often require specialized hardware and software, and both are expensive. While the overall regression testing process is similar across different organizations, the strategies and tools used by them vary according to their product needs. Hence a good framework for regression testing should provide the flexibility to configure it depending on the particular organization's needs while at the same time maximizing utilization. Manual processes are typically slow and error prone and result in under-utilization of valuable test resources. The paper proposes an automated distributed regression testing framework that provides flexibility to the user to configure it to their needs while at the same time optimizing resource usage.
{"title":"Automating regression testing for real-time software in a distributed environment","authors":"F. Zhu, Sanjai Rayadurgam, W. Tsai","doi":"10.1109/ISORC.1998.666810","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666810","url":null,"abstract":"Many real time systems evolve over time due to new requirements and technology improvements. Each revision requires regression resting to ensure that existing functionality is not affected by such changes. Testing these systems often require specialized hardware and software, and both are expensive. While the overall regression testing process is similar across different organizations, the strategies and tools used by them vary according to their product needs. Hence a good framework for regression testing should provide the flexibility to configure it depending on the particular organization's needs while at the same time maximizing utilization. Manual processes are typically slow and error prone and result in under-utilization of valuable test resources. The paper proposes an automated distributed regression testing framework that provides flexibility to the user to configure it to their needs while at the same time optimizing resource usage.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"51 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":"129568887","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.666773
Michael Squadrito, L. Esibov, L. DiPippo, V. Wolfe, Gregory Cooper, B. Thuraisingham, P. Krupp, M.K.J. Milligan, Russell Johnston
This paper presents the affected set priority ceiling protocols (ASPCP) for concurrency control in real-time object-oriented systems. These protocols are based on a combination of semantic locking and priority ceiling techniques. This paper shows that the ASPCP protocols provide higher potential concurrency for object-oriented systems than existing priority ceiling protocols, while still bounding priority inversion and preventing deadlock.
{"title":"Concurrency control in real-time object-oriented systems: the affected set priority ceiling protocols","authors":"Michael Squadrito, L. Esibov, L. DiPippo, V. Wolfe, Gregory Cooper, B. Thuraisingham, P. Krupp, M.K.J. Milligan, Russell Johnston","doi":"10.1109/ISORC.1998.666773","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666773","url":null,"abstract":"This paper presents the affected set priority ceiling protocols (ASPCP) for concurrency control in real-time object-oriented systems. These protocols are based on a combination of semantic locking and priority ceiling techniques. This paper shows that the ASPCP protocols provide higher potential concurrency for object-oriented systems than existing priority ceiling protocols, while still bounding priority inversion and preventing deadlock.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"41 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":"127034570","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.666794
I. Kaji, K. Mori
As the standardization of computers, networks and OS's has been going on and different systems can be easily connected physically, it is more preferable to integrate existing systems from an economical viewpoint. Under the changing requirements and situations, system engineering technologies to realize an individual user's requirements on a standard platform have become more important. Even when these application systems with respective user requirements are integrated together, the autonomy of each application system must be preserved to retain properties of online expansion, online maintenance and fault tolerance. It is shown that the Autonomous Decentralized System (ADS) architecture, originally developed to attain the online properties of the system, can be one solution to resolve the problem of integrating heterogeneous application systems while keeping each requirement level so that multiple systems have common architecture and different levels of fault tolerance requirements. The recursive model under the ADS architecture is proposed to integrate multiple systems while preserving the autonomy of each system. In addition, the gateway technique is designed to control the data flow between two different systems, not only by contents of the data but also by property levels of each system's requirement. This gateway technique based on the recursive model has been realized as the middleware on WINDOWS and UNIX and the heterogeneous ADS technique has been applied in the real application systems, and their effectiveness has also been shown.
{"title":"Integration of autonomous decentralized systems with different fault tolerance requirement levels","authors":"I. Kaji, K. Mori","doi":"10.1109/ISORC.1998.666794","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666794","url":null,"abstract":"As the standardization of computers, networks and OS's has been going on and different systems can be easily connected physically, it is more preferable to integrate existing systems from an economical viewpoint. Under the changing requirements and situations, system engineering technologies to realize an individual user's requirements on a standard platform have become more important. Even when these application systems with respective user requirements are integrated together, the autonomy of each application system must be preserved to retain properties of online expansion, online maintenance and fault tolerance. It is shown that the Autonomous Decentralized System (ADS) architecture, originally developed to attain the online properties of the system, can be one solution to resolve the problem of integrating heterogeneous application systems while keeping each requirement level so that multiple systems have common architecture and different levels of fault tolerance requirements. The recursive model under the ADS architecture is proposed to integrate multiple systems while preserving the autonomy of each system. In addition, the gateway technique is designed to control the data flow between two different systems, not only by contents of the data but also by property levels of each system's requirement. This gateway technique based on the recursive model has been realized as the middleware on WINDOWS and UNIX and the heterogeneous ADS technique has been applied in the real application systems, and their effectiveness has also been shown.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"85 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":"130059532","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.666803
S. Lutz, M. Weber
Today, there is a rapidly growing interest to transfer object oriented computing technologies into various fields of control-critical applications. Existing approaches concentrate on abstract design level modeling. We introduce "abstract object systems", an abstract mathematical model of concurrent real time object systems. After that we present a simulation and analysis framework that takes into account implementation issues such as operation processing limits, scheduling strategies, processing priorities and distribution of threads to processors. The usual static class structuring relations are used. Messages exchanged between objects may be either synchronous method calls or asynchronous events. The details of object interaction are controlled by object oriented statecharts. In addition, our framework deals with dynamic creation and deletion of objects and with distribution of threads onto multiple parallel processors.
{"title":"Simulation and analysis of real-time concurrent object models","authors":"S. Lutz, M. Weber","doi":"10.1109/ISORC.1998.666803","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666803","url":null,"abstract":"Today, there is a rapidly growing interest to transfer object oriented computing technologies into various fields of control-critical applications. Existing approaches concentrate on abstract design level modeling. We introduce \"abstract object systems\", an abstract mathematical model of concurrent real time object systems. After that we present a simulation and analysis framework that takes into account implementation issues such as operation processing limits, scheduling strategies, processing priorities and distribution of threads to processors. The usual static class structuring relations are used. Messages exchanged between objects may be either synchronous method calls or asynchronous events. The details of object interaction are controlled by object oriented statecharts. In addition, our framework deals with dynamic creation and deletion of objects and with distribution of threads onto multiple parallel processors.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"1 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":"128788817","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.666804
T. Naks, L. Motus, J. Holt
The paper discusses the role of timing analysis through the whole system life cycle. It is suggested that the handling of non functional requirements, especially timing requirements, should be regulated by a life cycle model in the same way as other system development activities. Timing analysis should first be applied at the requirements phase and continued, in different forms and with different objectives, right up until the retirement phase. The feasibility and necessity of timing analysis in each stage of the lifecycle is then discussed. A set of procedures is proposed based on GOOSE (Guidelines for Object Oriented Software Engineering) and TOM (Timed Object Modelling). The paper concludes by considering the application of these techniques in the design and development of a case based reasoning tool-Bridge.
{"title":"Timing analysis in OO system life-cycles","authors":"T. Naks, L. Motus, J. Holt","doi":"10.1109/ISORC.1998.666804","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666804","url":null,"abstract":"The paper discusses the role of timing analysis through the whole system life cycle. It is suggested that the handling of non functional requirements, especially timing requirements, should be regulated by a life cycle model in the same way as other system development activities. Timing analysis should first be applied at the requirements phase and continued, in different forms and with different objectives, right up until the retirement phase. The feasibility and necessity of timing analysis in each stage of the lifecycle is then discussed. A set of procedures is proposed based on GOOSE (Guidelines for Object Oriented Software Engineering) and TOM (Timed Object Modelling). The paper concludes by considering the application of these techniques in the design and development of a case based reasoning tool-Bridge.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"41 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":"114703310","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.666763
H. Oliver, C. Edwards, F. Tran, J. Stefani, D. Hutchison
The ReTINA project (ACTS AC048) is an industrial collaboration to explore the use of CORBA for the support of real-time multimedia services, from the point of view of network control and from the point of view of middleware services. This paper covers CORBA for network control, and CORBA extensions towards a DPE framework for flexible binding and real-time support.
{"title":"Supporting real-time multimedia applications with distributed object controlled networks","authors":"H. Oliver, C. Edwards, F. Tran, J. Stefani, D. Hutchison","doi":"10.1109/ISORC.1998.666763","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666763","url":null,"abstract":"The ReTINA project (ACTS AC048) is an industrial collaboration to explore the use of CORBA for the support of real-time multimedia services, from the point of view of network control and from the point of view of middleware services. This paper covers CORBA for network control, and CORBA extensions towards a DPE framework for flexible binding and real-time support.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"19 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":"123788462","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.666787
A. Bondavalli, F. Giandomenico, F. Grandoni, David Powell, C. Rabéjac
Mechanisms for restoring the state of a channel in an N-modular redundant architecture are necessary to prevent redundancy attrition due to transient faults and to allow failed channels to be brought back on line after repair. This paper considers software-implemented mechanisms for state restoration (SR) in a generic fault-tolerant architecture in which both the underlying hardware and operating system are commercial off-the-shelf (COTS) components. State restoration involves copying the values of state variables from the active channel(s) across to the joining channel. Concurrent updating of state variables by application tasks is considered. Two state restoration schemes are considered: Running SR and Recursive SR. In the former, each state variable is copied exactly once while concurrent updates are written through to the joining channel. In the latter state variables are copied once and then recopied recursively until no concurrent updates are detected.
{"title":"State restoration in a COTS-based N-modular architecture","authors":"A. Bondavalli, F. Giandomenico, F. Grandoni, David Powell, C. Rabéjac","doi":"10.1109/ISORC.1998.666787","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666787","url":null,"abstract":"Mechanisms for restoring the state of a channel in an N-modular redundant architecture are necessary to prevent redundancy attrition due to transient faults and to allow failed channels to be brought back on line after repair. This paper considers software-implemented mechanisms for state restoration (SR) in a generic fault-tolerant architecture in which both the underlying hardware and operating system are commercial off-the-shelf (COTS) components. State restoration involves copying the values of state variables from the active channel(s) across to the joining channel. Concurrent updating of state variables by application tasks is considered. Two state restoration schemes are considered: Running SR and Recursive SR. In the former, each state variable is copied exactly once while concurrent updates are written through to the joining channel. In the latter state variables are copied once and then recopied recursively until no concurrent updates are detected.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"27 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":"126988093","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.666788
R. Kurki-Suonio, Mika Katara
A practical theory for operational specification of reactive systems is described. Reasoning on temporal properties is made possible by it already at high levels of abstraction, and rigorous refinement towards implementation is supported. The paper discusses how the underlying logic, execution model, and refinement methods fit together, and how object-orientation, distribution, and real time are supported. A closer look is taken on the specification of real-time properties by illustrating the approach by a logically layered specification of simple mobile robot control software.
{"title":"Real time in a TLA-based theory of reactive systems","authors":"R. Kurki-Suonio, Mika Katara","doi":"10.1109/ISORC.1998.666788","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666788","url":null,"abstract":"A practical theory for operational specification of reactive systems is described. Reasoning on temporal properties is made possible by it already at high levels of abstraction, and rigorous refinement towards implementation is supported. The paper discusses how the underlying logic, execution model, and refinement methods fit together, and how object-orientation, distribution, and real time are supported. A closer look is taken on the specification of real-time properties by illustrating the approach by a logically layered specification of simple mobile robot control software.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"15 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":"127518922","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.666783
M. Yasuda, T. Tachikawa, M. Takizawa
Distributed applications are modelled in an object-based model like CORBA. Here, the system is a collection of objects. The objects are manipulated only through operations supported by themselves. The purpose-oriented model is proposed where an access rule shows for what each subject s manipulates an object o by an operation t of o so as to keep the information flow legal. The purpose of s to access o by t is modelled to be what operation u of s invokes t to manipulate o. That is, the purpose-oriented access rule is specified in the form (s:u, o:t). In the object-based system, on receipt of a request op from an object o/sub 1/, an object o/sub 2/ computes op and then sends back the response of op to o/sub 1/. Here, if the request and the response carry data, the data in o/sub 1/ and o/sub 2/ is exchanged among o/sub 1/ and o/sub 2/. Furthermore, the operations are nested in the object-based system. Even if each purpose-oriented rule between a pair of objects satisfies the information flow relation, some data in one object may illegally flow to another object through the nested invocation of operations. In this paper, we discuss what information flow is legal in the nested invocations in the purpose-oriented model of the object-based system.
{"title":"A purpose-oriented access control model for object-based systems","authors":"M. Yasuda, T. Tachikawa, M. Takizawa","doi":"10.1109/ISORC.1998.666783","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666783","url":null,"abstract":"Distributed applications are modelled in an object-based model like CORBA. Here, the system is a collection of objects. The objects are manipulated only through operations supported by themselves. The purpose-oriented model is proposed where an access rule shows for what each subject s manipulates an object o by an operation t of o so as to keep the information flow legal. The purpose of s to access o by t is modelled to be what operation u of s invokes t to manipulate o. That is, the purpose-oriented access rule is specified in the form (s:u, o:t). In the object-based system, on receipt of a request op from an object o/sub 1/, an object o/sub 2/ computes op and then sends back the response of op to o/sub 1/. Here, if the request and the response carry data, the data in o/sub 1/ and o/sub 2/ is exchanged among o/sub 1/ and o/sub 2/. Furthermore, the operations are nested in the object-based system. Even if each purpose-oriented rule between a pair of objects satisfies the information flow relation, some data in one object may illegally flow to another object through the nested invocation of operations. In this paper, we discuss what information flow is legal in the nested invocations in the purpose-oriented model of the object-based system.","PeriodicalId":186028,"journal":{"name":"Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","volume":"47 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":"128097619","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.666779
T. Lim, S. Lee
A multidimensional DBMS (MDBMS) data model is a nested relational DBMS (RDBMS) that has been made available since 1970. A multidimensional DBMS data model could model real world problems more naturally, such as one to many parent to children table relationship, variable length record and length field and a rich set of data management functionality. The paper considers collection object type design in a multidimensional DBMS data model. It presents database terms used between a relational DBMS, a multidimensional DBMS and an object oriented DBMS. The benefits, management and optimisation of the multidimensional DBMS are presented. The paper also presents discussions on class management, inheritance mapping, object management and implementation of object collection. It suggests improvements to the object collection implementation and continues work on distributed object management utilising a multidimensional DBMS.
{"title":"Objects collection management in multidimensional DBMS data model","authors":"T. Lim, S. Lee","doi":"10.1109/ISORC.1998.666779","DOIUrl":"https://doi.org/10.1109/ISORC.1998.666779","url":null,"abstract":"A multidimensional DBMS (MDBMS) data model is a nested relational DBMS (RDBMS) that has been made available since 1970. A multidimensional DBMS data model could model real world problems more naturally, such as one to many parent to children table relationship, variable length record and length field and a rich set of data management functionality. The paper considers collection object type design in a multidimensional DBMS data model. It presents database terms used between a relational DBMS, a multidimensional DBMS and an object oriented DBMS. The benefits, management and optimisation of the multidimensional DBMS are presented. The paper also presents discussions on class management, inheritance mapping, object management and implementation of object collection. It suggests improvements to the object collection implementation and continues work on distributed object management utilising a multidimensional DBMS.","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":"115386107","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
扫码关注我们
求助内容：
应助结果提醒方式：