{"title":"UltraSMART: a scalable multiprocessor architecture for real time","authors":"A. Boxer, D. Malek","doi":"10.1109/EMWRTS.1994.336855","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336855","url":null,"abstract":"Concurrent Computer Corporation's UltraSMART (scalable multiprocessor architecture for real time) architecture is a busless distributed shared memory multiprocessor architecture that enables higher levels of performance and better real-time behavior than can be obtained with bus-based global shared memory multiprocessors. The paper describes UltraSMART, the UltraSMART-based MAXION multiprocessor system, and the UltraSMART enhancements to the RTU operating system.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115390858","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":"On using epsilon serializable locking protocol for concurrency control in real-time databases","authors":"K. Lam, S. Hung","doi":"10.1109/EMWRTS.1994.336850","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336850","url":null,"abstract":"New non-serializable protocols based on incorporating epsilon serializability (ESR) into the real-time concurrency control protocol, Hybrid Two Phase Locking (Hb2PL) are proposed. The protocols try to maximize the values of the transactions by making a compromise between meeting transaction deadlines and maintaining consistent transaction view. Two different ways of incorporating ESR into Hb2PL are suggested. One is called Partial ESR Hb2PL and the other is called Full ESR Hb2PL. Performance studies with simulation models indicate that their performance is much better than the SR based protocols, High Priority 2PL (H2PL) (R. Abbott and H. Garcia-Molina, 1992).<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129498432","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 real-time applications with concurrent objects","authors":"G. Caal, A. Divin","doi":"10.1109/EMWRTS.1994.336859","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336859","url":null,"abstract":"Presents a novel extension to the C++ programming language, allowing powerful expression of concurrency and synchronization in an object-oriented environment. The principal advantages of this extension over existing alternatives are its powerful, yet simple expression, its ease of use, and the strict parsimony of additions made to the C++ syntax. The concurrent and object-oriented capabilities of our approach make it particularly useful for facilitating the construction of complex software systems, such as communication layered protocols, control systems, graphical user interfaces, multimedia and other real-time applications.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131149815","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":"On-line sporadic task scheduling in hard real-time systems","authors":"S. Vieira, M. Magalhães","doi":"10.1109/EMWRTS.1994.336844","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336844","url":null,"abstract":"We propose a set of scheduling procedures for dealing with the sporadic task scheduling in a dynamic periodic system. For this we mean a system in which periodic tasks change their parameters dynamically (at run-time), in an unpredictable way. So, the off-line periodic task set will be different from the current periodic task set. It means that the task schedulability tests in such systems have to be made on-line. On the other hand, on-line evaluations in hard real-time systems must be done in a fast way, once the overhead incurred in these evaluations may jeopardize the tasks timing requirements. As it is common that exact tests, providing necessary and sufficient conditions for validating the schedule, are intractable algorithms (EXPTIME), they can not support on-line decisions. Then, our goal is to provide a sufficient condition for on-line scheduling tests which is fast (PTIME) and can be reasonably useful compared to the exact condition. We present a series of simulation runs that confirm the usefulness of our approach.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133091082","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 resynchronization method for real-time supervision","authors":"R. Iorgulescu, R. Seviora","doi":"10.1109/EMWRTS.1994.336863","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336863","url":null,"abstract":"Real-time supervision is one technique used to improve the perceived reliability of software systems. A real-time supervisor observes the inputs and outputs of the system and reports failures that occur. The approach presented in this paper uses the specification of external behavior of the system to detect failures. Failures are reported in real-time. In addition, the approach permits the assessment of the erroneous states of the system. Following a failure, the supervisor makes an assumption of the (system) erroneous state. Consequences of the same fault are not reported repeatedly. The supervisor accommodates the nondeterminism permissible under some specification formalism. The formalism considered in this paper is the CCITT SDL.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"9 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133328664","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}
R. Savola, T. Ihme, M. Heikkinen, M. Salmela, P. Pulli
{"title":"Object-oriented enhancement of real-time software using a heterogeneous re-engineering approach","authors":"R. Savola, T. Ihme, M. Heikkinen, M. Salmela, P. Pulli","doi":"10.1109/EMWRTS.1994.336858","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336858","url":null,"abstract":"A technique for incremental modernisation and enhancement of an existing procedural real-time software to an object-oriented one is presented. The incremental enhancement enables the real-time system designer to make use of the advantages of object-oriented paradigm: the resulting re-engineered software is more maintainable, reusable and configurable. In this approach, the object structure and additional new features can be validated interactively and iteratively using heterogeneous graphical animation. Different parts of the system may present different modelling levels during the enhancement, thus making the incremental process of software partitioning, object derivation and object design easier to manage.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"145 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114561267","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. Fragin, S. Gorbachev, M. B. Ignatiev, S. U. Pomelov, Y. Sheinin
{"title":"The modular multimicroprocessor system architecture for the power turbine control","authors":"M. Fragin, S. Gorbachev, M. B. Ignatiev, S. U. Pomelov, Y. Sheinin","doi":"10.1109/EMWRTS.1994.336854","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336854","url":null,"abstract":"The modular multimicroprocessor control system (MMCS) architecture for turbine control is presented. The turbine features which are produced by \"Metalicheskiy Zavod\" plc (St.-Petersburg) are considered. The multilayered MMCS system organization for these turbines is described. The architecture of distributed modular multimicroprocessor control system (MMCS) for turbo-unit technological process control is based on the modern concepts of modular multiprocessor systems with distributed architecture. The MMCS provides an integral computing entity with transparent multiprocessor organization for application programs. The MMCS has a two-layer hierarchical system architecture. The upper layer implements the high-rate and low-rate control loop tasks, the regulation system diagnostics, automatic turbine startup, etc. The lower layer realizes the local control and sensor functions and pre-processing in the distributed set of turbine points of control and measurement.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126730181","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":"Determining the worst-case blocking sequences for distributed real-time programs","authors":"H. Wedde, B. Korel","doi":"10.1109/EMWRTS.1994.336873","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336873","url":null,"abstract":"For detecting timing errors in a distributed real-time program (distributed real-time debugging) it is essential to know all combinations of execution paths where a given path experiences a worst-case blocking time through communication (server calls) among the subprograms. In this paper we deal with the subproblem of blocking sequences of server call pairs between 2 paths. For determining their worst-case blocking time a polynomial algorithm had been found recently by D. Huizinga. We build on this result for constructing an efficient algorithm that computes all worst-case blocking sequences. Its correctness and practicality for distributed real-time debugging are discussed. Its extension to the general case of n+1 paths is outlined.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121041115","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":"Application objects and modularity in real time graphical modelling","authors":"M. Maranzana, J. Schwarz, J. Skubich, P. Szwed","doi":"10.1109/EMWRTS.1994.336872","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336872","url":null,"abstract":"LACATRE is a graphical language intended to help in the design of applications requiring the use of multitasking real time executives. Within the software life cycle, LACATRE covers both preliminary and detailed design. After a brief description of the LACATRE basic objects, this paper presents the use of the application objects (or high level objects) such as agency and process, associated to the import/export features. These components allow modularity and a structured design of real time applications and promote the creation of process libraries. Thus, it increases programme reusability.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"134 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113987860","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 software architecture for telerobotics","authors":"E. L. Rest, L. Marcé","doi":"10.1109/EMWRTS.1994.336860","DOIUrl":"https://doi.org/10.1109/EMWRTS.1994.336860","url":null,"abstract":"Describes a currently developed software architecture for telerobotics, based on a high-level and interpreted language, PILOT (Programming and Interpreted Language Of actions for Telerobotics), allowing one to plan the actions of a robot. Such a language allows the operator to modify a mission during its execution. A software architecture is developed for this language, and is composed of four modules which manage different aspects of plan execution.<<ETX>>","PeriodicalId":322579,"journal":{"name":"Proceedings Sixth Euromicro Workshop on Real-Time Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121759345","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}