{"title":"Performance studies of concurrency control in distributed real-time database systems on ATM networks","authors":"V. Lee, K. Lam, S. Hung, C. Wong","doi":"10.1109/EMWRTS.1995.514326","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514326","url":null,"abstract":"In recent years, different efficient real-time concurrency control protocols for distributed real-time database systems (DRTDBS) have been proposed and their performance have been examined with the use of a simulation model. Although the performance of the underlying network should have a significant role, or even a deterministic role, on the overall system performance, the network issues in their studies are always being neglected. In nearly all these studies, they are modeled as simple constant delay servers and it is always assumed that the same delay is applied to all types of messages in the systems. It is the objective of this paper to investigate the possible impact of different network assumptions on the performance of concurrency control protocols in DRTDBS. The results show that the unpredictable behavior of the underlying network will give non-constant network transit time which in turn cause impact to the performance of concurrency control protocols.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129752744","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. Bekambo, J. Vounckx, Geert Deconinck, R. Cuyvers, R. Lauwereins, J. Peperstraete
{"title":"Kernel services approach to fault-masking in real-time applications","authors":"M. Bekambo, J. Vounckx, Geert Deconinck, R. Cuyvers, R. Lauwereins, J. Peperstraete","doi":"10.1109/EMWRTS.1995.514330","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514330","url":null,"abstract":"The N-Modular Redundancy (NMR) architecture has shown to perform fault-masking with acceptable cost and performance. The restriction to the majority voting imposed by many of its implementation models often discourages its use in real-time applications with sensors' data. Its implementation in real applications also exhibits time overhead, and synchronization problems beside the increase in hardware cost it involves. This paper shows a way to cope with these problems by using a distributed run-time kernel in which each service is offered in two versions, a non-NMR version and an NMR one. This offers the user a transparent way of developing its real-time fault-masking applications.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127901722","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":"SAT-a schedulability analysis tool for real-time applications","authors":"V. Gerogiannis, M. A. Tsoukarellas","doi":"10.1109/EMWRTS.1995.514306","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514306","url":null,"abstract":"The process of guaranteeing that real-time software will meet its timing requirements, is referred to as schedulability analysis. In this paper an implementation independent schedulability analysis tool (SAT) for real-time applications is presented and the supported analysis methods are discussed. SAT can be used during the initial stages of the design phase when the effects of the operating system or the runtime system are not considered. However, the methods supported by the tool are based on an event-action framework and thus, new events or actions introduced by the underlying software can also be evaluated and included in the performed analysis.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130762216","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":"Fuzzy-control with a PEARL-based multi-loop controller","authors":"H. J. Beestermöller, G. Thiele, J. Becker","doi":"10.1109/EMWRTS.1995.514294","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514294","url":null,"abstract":"To serve the demand for fuzzy control components in automation systems, manufacturers extend the function block libraries of their multi loop and PLC software by respective function blocks. Other demands are for the openness of PLC software and its adaptation to the IEC 1131 standard which, for the first time, gives recommendations with respect to a task model and task communication. The unique idea of the PEARL PLC is to use an adequate high level real time language for PLC software design and implementation facilitating all mentioned user demands in a totally open form. Definition and verification of fuzzy components are described in the paper and further advantages of the use of high level real time languages in PLCs with respect to safety critical aspects are mentioned.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127707107","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":"An integrated technique for developing real-time systems","authors":"J. Hooman, J. Vain","doi":"10.1109/EMWRTS.1995.514317","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514317","url":null,"abstract":"The integration of conceptual modeling techniques, formal specification, and compositional verification is considered for real time systems within the knowledge engineering context. We define constructive transformations from a conceptual meta model to a real time specification language and give rules for compositional refinement steps. The ideas are illustrated by the design of a mine pump control system.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121261089","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":"Architectural abstractions and time modelling in HyperReal","authors":"F. D. Paoli, F. Tisato","doi":"10.1109/EMWRTS.1995.514315","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514315","url":null,"abstract":"This paper describes the foundation of the HyperReal project. It is centred on the definition of architectural abstractions that permit designing modular RT systems. Basic components are reactive agents manipulating data and connectors supporting interactions among agents. Such components are not aware of the system configuration nor of the control strategy, which are managed by a configurator and by a controller respectively. The controller relies on a time-driven model of control, and separates the definition of plans from the dispatching of the actions they define. Plans are associated with virtual clocks which support the explicit management of time. The architectural abstractions allow a designer to fully control the temporal behaviour of the system and to reuse components under different application-oriented control models.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124777205","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":"Predicting real-time behaviour for data flow computations","authors":"Jan Jonsson, A. Olsson, Jonas Vasell","doi":"10.1109/EMWRTS.1995.514321","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514321","url":null,"abstract":"We present work that deals with the problem of mapping data flow graphs onto multiprocessor systems with regular or irregular topologies in such a way that the following goals are achieved (in order of priority): deterministic latency and throughput, maximum throughput, and minimum latency. A practical method which takes resource contention into account is being developed for achieving these goals. In parallel with the development of the method, a multiprocessor architecture model is defined onto which these mappings can be made. A preliminary version of the mapping method has been implemented and shown to be working through simulated execution of some simple application examples.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115026940","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":"Analysis and improvement of task schedulability in hardware/software codesign","authors":"J. Axelsson","doi":"10.1109/EMWRTS.1995.514322","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514322","url":null,"abstract":"Many real time systems have timing requirements that are difficult to fulfil if the system is implemented by software running on a microprocessor. One way to remedy this problem is to implement the most time critical parts in application specific integrated circuits instead. Hardware/software codesign aims at providing support for the designer of such a heterogeneously implemented system, and especially at finding ways to determine what parts should be implemented in what technology. We discuss an approach to codesign which has as its objective to find an implementation of a real time system, which allows the deadlines to be met. The main result presented is a schedulability evaluation method, and we describe how this can be used to guide the partitioning of the system behaviour onto the different components of a hardware architecture.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"8 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133647791","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 CAD tool to implement real-time fuzzy controllers on DSPs","authors":"I. D. Campo, J. M. Tarela","doi":"10.1109/EMWRTS.1995.514328","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514328","url":null,"abstract":"This work introduces a CAD tool to implement fuzzy logic controllers (FLCs) an a digital signal processor (DSP). The developed environment aids in the prototyping of FLCs, and generates a representation of the design oriented to its implementation on a DSP. The environment we have developed allows the user to easily define linguistic rules and fuzzy sets, to select the inference mechanism, to select the fuzzification and defuzzification strategies, to simulate the system behaviour, and to verify the controller reasoning. Once the prototype has been successfully evaluated, this tool generates an optimised representation of the design in DSP56001 source code. The dual nature of the DSP56001 data memory and a set of instructions adequate to execute fuzzy algorithms are the key of the implementation performance.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129334665","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":"StarBase: a firm real-time database manager for time-critical applications","authors":"M. Lehr, Young-Kuk Kim, S. Son","doi":"10.1109/EMWRTS.1995.514327","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514327","url":null,"abstract":"Previous work in real-time database management systems (RT-DBMS) has primarily focused on simulation. This paper discusses how current real-time technology has been applied to architect an actual RT-DBMS on a real-time microlevel operating system. A real RT-DBMS must confront many practical issues which simulations typically ignore: race conditions, concurrency, and asynchrony. The challenge of constructing a RT-DBMS can be divided into three basic problems: dealing with resource contention, dealing with data contention, and enforcing timing constraints. We discuss approaches to each problem.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124994713","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}