{"title":"Worst-case blocking scenarios for distributed real-time programs","authors":"H. Wedde, A. Wedig","doi":"10.1109/EMWRTS.1996.557783","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557783","url":null,"abstract":"For detecting timing errors in distributed real-time programs it is essential to know all combinations of execution paths of subprograms t/sub 0/,t/sub 1/,...,t/sub n/ where a given path of t/sub o/ experiences a worst-case blocking time caused by a scenario of operations on execution paths of t/sub 1/,...,t/sub n/, due to such operations blocking certain operations of t/sub o/ while accessing shared resources. This paper deals with the problem of determining all possible worst-case blocking scenarios of an execution path of t/sub o/ by execution paths of t/sub 1/,...,t/sub n/. While this problem is NP-hard we give a polynomial algorithm for an associated (reduced) problem which computes an often tight superset of these scenarios in a variety of practically relevant application situations.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128772728","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}
José Cuervo, E. González, A. Suárez, C. Moreno, F. Artigue
{"title":"Behaviour-oriented commands: from distributed knowledge representation to real-time implementation","authors":"José Cuervo, E. González, A. Suárez, C. Moreno, F. Artigue","doi":"10.1109/EMWRTS.1996.557846","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557846","url":null,"abstract":"This paper presents a general methodology to model and implement real time control of complex systems with high reactivity. It is based on an original concept called \"behaviour oriented commands\" (BOCs). This methodology has been applied successfully in our mobile robot. BOCs incorporate mechanisms to model the set of rules (knowledge) which describes the restrictions and actions to achieve a goal. Basic rules are well encapsulated by entities called \"behaviours\", while global co-operating rules are explicited by the association link managed by the BOC's control unit. The model is easily translated into a real time implementation. This fusion between knowledge and real time is the main contribution of our work to the RT area.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133743985","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}
S. Aiello, A. Anzalone, M. Bartolucci, G. Cardella, S. Cavallaro, E. Filippo, A. Pietro, S. Feminò, M. Geraci, P. Guazzoni, C. Iacono-Manno, G. Lanzalone, G. Lanzanò, S. Nigro, G. Manfredi, A. Musumarra, A. Pagano, M. Papa, S. Pirrone, Giuseppe Politi, F. Porto, F. Rizzo, S. Sambataro, G. Sechi, M. Sperduto, C. Sutera, L. Zetta
{"title":"Real-time computing of special algorithms with a DSP-based board","authors":"S. Aiello, A. Anzalone, M. Bartolucci, G. Cardella, S. Cavallaro, E. Filippo, A. Pietro, S. Feminò, M. Geraci, P. Guazzoni, C. Iacono-Manno, G. Lanzalone, G. Lanzanò, S. Nigro, G. Manfredi, A. Musumarra, A. Pagano, M. Papa, S. Pirrone, Giuseppe Politi, F. Porto, F. Rizzo, S. Sambataro, G. Sechi, M. Sperduto, C. Sutera, L. Zetta","doi":"10.1109/EMWRTS.1996.557795","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557795","url":null,"abstract":"The on-line computation of special algorithms, as power-law for particle identification in nuclear physics, is a basic problem requiring real-time computational resources that have to fit time constraints, due to the randomness of nuclear events, and assure correctness. Present work concentrates on the possibility to use a low cost commercially available DSP boards for this purpose. The used DSP board computes in real-time transcendental functions expanded in Chebychev polynomial series with assembler routines ad hoc written, in order to perform the identification of the charged particles emitted in nuclear reactions. In particular a presentation of an emulation framework is described where Assembler DSP algorithms are tested at full speed, while input and output are tested at low velocity, by using two host PC, simulating peripherals for the I/O data.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"148 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116337918","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":"Timing failure detection and real-time group communication in quasi-synchronous systems","authors":"C. Almeida, P. Veríssimo","doi":"10.1109/EMWRTS.1996.557926","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557926","url":null,"abstract":"This paper addresses the problem of having real-time group communication in systems that are not completely synchronous (quasi-synchronous). This situation can happen when load is not completely controlled thus not ruling out overload scenarios This is usually related to dynamic characteristics of the application and/or environment. Usually in such systems, temporal guarantees can only be made to the highest priority messages. In such scenario we propose to use the highest priority messages (ora dedicated synchronous channel if available) to implement a timing failure detection service. By using this service together with the communication protocols, we are able to provide safety in a timely fashion, which is of utmost importance for distributed fault-tolerant real-time applications.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127552267","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":"Disk management for a hard real-time file system","authors":"Raymond Cheng, D. Gillies","doi":"10.1109/EMWRTS.1996.557933","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557933","url":null,"abstract":"The problem of scheduling disk requests in a personal hard real-time read/write file system is examined. We propose a fixed-period scan (FSCAN) approach for disk scheduling in our file system. The idea is to use the CSCAN policy to pick up the data blocks requested by a periodic preemptive schedule. The approach trades disk block size and memory buffer size for higher performance. We derive the worst-case seek and rotational overhead for the FSCAN algorithm, and we show that the worst case seek overhead can be measured empirically for a large class of seek functions. Using this approach and utilizing measured seek functions from real disk drives, we show that these policies can transfer data at 40-70% of the maximum transfer rate of modern disk drives, depending an the file system parameters. A configuration program is developed to automatically test and configure the FSCAN algorithm for modern hard disks. The design and testing of this program are described.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"229 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131651813","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}
T. Eriksen, Søren T. Heilmann, Michael Holdgaard, A. Ravn
{"title":"Hybrid systems: a real-time interface to control engineering","authors":"T. Eriksen, Søren T. Heilmann, Michael Holdgaard, A. Ravn","doi":"10.1109/EMWRTS.1996.557830","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557830","url":null,"abstract":"An important application area for real time computing is embedded systems where the computing system provides intelligent control of a mechanical, chemical etc. plant or device. The software requirements for such applications depend heavily on the properties of the plant. These properties are usually investigated by control engineers that base their work on the theory of dynamic systems. The mathematical tool for this work is thus mathematical analysis, in particular the theory of differential equations. The paper gives an introduction to a general hybrid systems model for definition of system requirements and a corresponding software architecture together with an example of their specialization for use in implementing a mode switching controller for a hydraulic cylinder.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134468860","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":"MetaRing/sup +/: an enhancement of the MetaRing access protocol for supporting real-time applications","authors":"M. Conti, L. Donatiello, M. Furini","doi":"10.1109/EMWRTS.1996.557922","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557922","url":null,"abstract":"This paper focuses on access protocols for supporting real-time communications in a distributed system; specifically, we analyze the MetaRing protocol. MetaRing is a protocol, designed and prototyped to handle, in a local or metropolitan area environment, both period traffic with real-time constraints (synchronous traffic) and bursty data traffic with no delay constraints (asynchronous traffic). We show that, in the original proposal of the MetaRing protocol, the deadlines of real-time messages are not always satisfied. To solve this problem, we propose a modified version of MetaRing, named MetaRing+. Through a performance study, the properties of MetaRing+ are deeply investigated.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116800731","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":"Towards a fixed priority scheduler for an aircraft application","authors":"I. Bate, A. Burns, J. Mcdermid, A. Vickers","doi":"10.1109/EMWRTS.1996.557786","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557786","url":null,"abstract":"This paper describes process improvement work that has been performed in the Rolls-Royce Systems and Software Engineering University Technology Centre based at York University. The domain of interest is hard real-time safety critical systems certified to the avionics equipment standard D0178B. The use of fixed priority scheduling as a mechanism for controlling the run-time behaviour of software has been investigated, and has been shown to lead to a more efficient and effective system, at lower cost and lower risk.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129866985","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}