{"title":"Issues with object orientation in verifying safety-critical systems","authors":"S. Subbiah, S. Nagaraj","doi":"10.1109/ISORC.2003.1199241","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199241","url":null,"abstract":"Primus Epicrm is an all-new integrated avionics system for business, regional and general aviation. Honeywell International Inc. follows the Object Oriented paradigm and the programming language C+ +for certain software components on systems developed for the PRIMUS EPIC system. While C++ programming language offers several advantages, it also has several features that can make it undesirable for use in airborne systems. The, Object Orientation concept has several features that, if not controlled properly, can lead to unknown configurations of object code and unverified code. This is highly undesirable for avionics software that needs certification involving statement and code coverage. This paper highlights the issues with C++ certification for avionics and provides solutions for some of the issues.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114970686","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}
{"title":"The design and implementation of a real-time data dispatching system","authors":"N. Perng, N. Tsai, Jen-Wei Hsieh, Tei-Wei Kuo","doi":"10.1109/ISORC.2003.1199264","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199264","url":null,"abstract":"This paper describes the design of a real-time data dispatching system (RTDDS), which is motivated by the needs of a performance guarantee on real-time data services by front-end clients. RTDDS consists of homogeneous machines with a quality of service performance guarantee. We address the resource allocation problems and consider Bin-Packing algorithms to assign requests to machines of RTDDS. Processes scheduling over each machine is done autonomously by SRP-based algorithms. The goal is to maximize the number of concurrent clients and to meet the individual quality of service requirements of clients at the same time.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122351793","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}
E. Tokunaga, A. Zee, Makoto Kurahashi, Masahiro Nemoto, T. Nakajima
{"title":"Object-oriented middleware infrastructure for distributed augmented reality","authors":"E. Tokunaga, A. Zee, Makoto Kurahashi, Masahiro Nemoto, T. Nakajima","doi":"10.1109/ISORC.2003.1199250","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199250","url":null,"abstract":"The paper describes design and implementation of software infrastructure for building augmented reality applications for ubiquitous computing environments. Augmented reality is one of the most important techniques to achieve the vision of ubiquitous computing. Traditional toolkits for augmented reality provide the high level abstraction that makes it easy to build augmented reality applications. However, the applications programmers need to contemplate distribution and context-awareness that make the development of applications very hard, but they are necessary to build ubiquitous computing environments. Our infrastructure provides the high level abstraction and hides distribution and context-awareness from programmers. Therefore, the cost to develop augmented reality applications will be reduced dramatically by using our middleware infrastructure.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124245136","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}
{"title":"Introduction to the TOPPERS project - open source RTOS for embedded systems","authors":"H. Takada","doi":"10.1109/ISORC.2003.1199234","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199234","url":null,"abstract":"The TOPPERS Project is to develop a series of open source real-time operating systems (RTOS) for embedded systems. The TOPPERS/JSP Kernel, which is the first product of the project, was released two years ago and is started to be used in industries. A technological basis of the TOPPERS Project is the ITRON Specification, which is a de-facto standard real-time kernel specification widely applied to consumer electronics, cellular phones, and other small-scale embedded systems in Japan.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124155383","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}
{"title":"A supervisory tool for real-time industrial automation systems","authors":"W. P. Junior, C. Pereira","doi":"10.1109/ISORC.2003.1199258","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199258","url":null,"abstract":"Object-oriented techniques have been increasingly used during the development of real-time industrial automation systems, both in modeling and simulation frameworks used in problem domain analysis and requirements engineering, as well as for implementing SCADA (Supervisor.), Control And Data Acquisition) systems. However, mostly commercial available CASE (Computer Aided Software Engineering) tools do not supports the automatic code generation for SCADA systems. This paper proposes an architecture for integrating supervisory tools into object-oriented frameworks for industrial automation applications. The ideas proposed have been implemented and integrated with an object-oriented framework for real-time industrial automation applications. Real case studies have been developed, including the supervisory control of a chemical plant's prototype and the development of man-machine interfaces for food industry (pork processing plant).","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126552572","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}
{"title":"Challenges in building scalable network centric real-time information dissemination systems","authors":"S. Moody","doi":"10.1109/ISORC.2003.1199255","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199255","url":null,"abstract":"As the DoD strives for a new Network Centric Warfare (NCW[1]) capability, a multitude of technical and organizational challenges are being faced. In large part, NCW can be classified as a collective large-scale information dissemination system that operates at multitudes of levels and will be implemented using different distributed technologies and architectural styles. This paper classifies the use of these different distributed technologies as layers of information abstractions and highlights their varied architectural uses as they are driven by latency, scalability, reconfiguration and seamless programming requirements. For example, the following technologies are contrasted: Peer to Peer and mobile networks, Web Services, Content-based Routing, and Real-Time CORBA, while addressing distributed Security and Fault Tolerance issues. Unique challenges for when and how these technologies can be used, as well as their attributes for addressing scalability are highlighted. These technology challenges are classified and contrasted using the models based on the Siena project[2] which has been extended for the real-time community and termed Siena+RT. These requirements are described in context of the Boeing Phantom Works[8] XIS (eXtensible InfoSphere) Scalability Testbed Framework. XIS is a set of hierarchal distributed technologies developed to support the diverse real-time requirements for collection and dissemination of information throughout a global information grid.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127955418","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}
M. Atighetchi, P. Pal, F. Webber, Christopher C. Jones
{"title":"Adaptive use of network-centric mechanisms in cyber-defense","authors":"M. Atighetchi, P. Pal, F. Webber, Christopher C. Jones","doi":"10.1109/ISORC.2003.1199253","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199253","url":null,"abstract":"Attacks against distributed systems frequently start at the network layer by gathering network related information (such as open TCP ports) and continue on by exhausting resources, or abusing protocols. Defending against network-based attacks is a major focus area in the APOD (Application That Participate in Their Own Defense) project, which set out to develop technologies that increase an application's resilience against cyber attacks. This paper gives an overview of APOD's current set of network-level defenses. Specific network-based defense mechanisms are described first, followed by a discussion on how to use them in local defensive behavior. Defense strategies, which specify coordinated defensive behavior across a distributed system, are discussed next, followed by results from initial experimental evaluation.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"120 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133454017","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}
{"title":"Implementing the multicast Inter-ORB protocol","authors":"A. Bessani, J. Fraga, L. Lung","doi":"10.1109/ISORC.2003.1199246","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199246","url":null,"abstract":"This paper presents our experiments for integrating OMG MIOP (Mullicast Inter-ORB Protocol) specifications into a CORBA ORB. We proposed an integration model which allows the coexistence of two different protocol stacks (IIOP/TCP/IP and MIOP/UDP/IP multicast), making possible a large spectrum of middleware support for distributed objects communication. That integration model is discussed in this paper, giving evidence of the compatibility of our approach with the CORBA specifications. We also do some considerations about the implementation of this model in a CORBA compliant ORB.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133851581","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}
{"title":"Probabilistic simulation-based analysis of complex real-time systems","authors":"Anders Wall, J. Andersson, C. Norström","doi":"10.1109/ISORC.2003.1199261","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199261","url":null,"abstract":"Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by common sense. However as the system evolves the possibility to predict the consequences of changes becomes more and more difficult unless models and analysis method can be used. Moreover, traditional real-time models, e.g., fixed priority analysis, may be too simple for accurately capturing a complex system's characteristics. For instance, assuming worst-case execution time may not be realistic. Hence, analyses based on these models may give an overly pessimistic result. In this paper we describe our approach to introducing analyzability into complex real-time control systems. The proposed method is based on analytical models and discrete-event based simulation of the system behavior based on these models. The models describe execution times as statistical distributions which are measured and calculated in the existing system. Simulation will not only enable models with statistical execution times, but also correctness criterion other than meeting deadlines, e.g., nonempty communication queues. The simulation result is analyzed by specifying properties in a probabilistic property language. The result of such an analysis is either of probabilistic nature or boolean depending on how the property is specified. Having accurate system models enable analysis of the impact on the temporal behavior of e.g., customizing or maintaining the software.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115549853","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}
{"title":"Enhancing time triggered scheduling with value based overload handling and task migration","authors":"Jan Carlson, T. Lennvall, G. Fohler","doi":"10.1109/ISORC.2003.1199244","DOIUrl":"https://doi.org/10.1109/ISORC.2003.1199244","url":null,"abstract":"Time triggered methods provide deterministic behaviour suitable for critical real-time systems. The), perform less favourably, however if the arrival times of some activities are not known in advance, in particular if overload situations have to be anticipated. In many systems, the criticality of only a subset of activities justify the cost associated with the time triggered methods. In this paper we consider distributed systems where a subset of critical activities are handled in a time triggered fashion, via an offline schedule. At runtime, the arrival of aperiodic tasks may cause overload that demands to be handled in such a way that i) time triggered activities still meet all their original constraints, ii) execution of high-valued tasks are prioritised over tasks with lower value, iii) tasks can be quickly migrated to balance the overall system load. We give a precise formulation of overload detection and value based task rejection in the presence of offline scheduled tasks, and present a heuristic algorithm to handle overload. To benefit from the distributed setting, the overload handling includes an algorithm that integrates migration of rejected tasks with resource reclaiming and an acceptance test of newly arrived tasks. Simulation results underline the effectiveness of the presented approach.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130397375","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}