发布求助
文献互助 智能选刊 最新文献

Proceedings Real-Time Systems Education III最新文献

筛选
英文 中文
Using Hartstone Uniprocessor Benchmark in a real-time systems course 在实时系统课程中使用Hartstone单处理器基准
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766516
F. Golatowski, D. Timmermann
{"title":"Using Hartstone Uniprocessor Benchmark in a real-time systems course","authors":"F. Golatowski, D. Timmermann","doi":"10.1109/RTSE.1998.766516","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766516","url":null,"abstract":"Demonstrates the usability of the application-oriented Hartstone Uniprocessor Benchmark (HUB) to support teaching in fixed-priority scheduling analysis. Our implementation of the benchmark in C runs on different real-time operating systems (e.g. LynxOS) and also on standard desktop systems (Windows NT). We have created some helpful tools around the Hartstone program that may be used for a performance evaluation and a rapid analysis of real-time applications. They give the possibility to understand the real-time responsiveness of applications using both real-time and standard operating systems in an uncomplicated way. We distinguish three different methods to compare performance and to check the theoretical results of scheduling analysis. The first is based on finding breakdown utilization points of process sets. The second method inspects the special overload behavior beyond the breakdown utilization point. This observation reveals a very interesting behavior of the system under overload conditions. Finally, we evaluate the performance based on a simulation of a real-world real-time application.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121881054","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}
引用次数: 8
Rapid prototyping environment for real-time control education 用于实时控制教育的快速原型环境
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766517
W. Grega, K. Kołek, A. Turnau
{"title":"Rapid prototyping environment for real-time control education","authors":"W. Grega, K. Kołek, A. Turnau","doi":"10.1109/RTSE.1998.766517","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766517","url":null,"abstract":"Presents an integrated environment which fills a gap between control system design and the real-time implementation of control algorithms. The integrated environment uses a standard hardware platform, a standard operating system and a computer-aided control design system as a design tool. This paper focuses on the application of a rapid-prototyping toolbox which automatically generates real-time code for Windows 95/98/NT operating systems. The code is created from the Simulink model of the controller. The real-time properties of the control system are analysed. The inverted pendulum control example is used to illustrate the efficiency of the proposed solution.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"111 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134490086","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}
引用次数: 10
Experiences with an introductory real-time software course at Delft University of Technology 有代尔夫特理工大学实时软件入门课程的经验
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766508
J. Van katwijk, J. Zalewski
{"title":"Experiences with an introductory real-time software course at Delft University of Technology","authors":"J. Van katwijk, J. Zalewski","doi":"10.1109/RTSE.1998.766508","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766508","url":null,"abstract":"In this paper, we report on an introductory course on real-time software engineering at Delft University of Technology. We discuss the setup of the course in relation to the structure of the curriculum at Delft, briefly discuss some of our standard cases and focus on one of the case studies used in the course. Based on our experiences, we present some conclusions.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115804158","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}
引用次数: 0
Embedding practical real-time education in a computer science curriculum 在计算机科学课程中嵌入实际的实时教育
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766528
T. Tempelmeier
{"title":"Embedding practical real-time education in a computer science curriculum","authors":"T. Tempelmeier","doi":"10.1109/RTSE.1998.766528","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766528","url":null,"abstract":"This contribution reports on the approach to real-time education at the Fachhochschule Rosenheim. The importance of real-time education is acknowledged, but, instead of having a separate curriculum, the author favours an \"embedded\" solution. Real-time education is integrated into the normal curriculum of technical computer science by carefully adjusting the contents of all courses to each other.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"189 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123328759","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}
引用次数: 4
Use of the fieldbus systems in academic setting 现场总线系统在学术环境中的应用
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766518
Z. Hanzálek, T. Pacha
{"title":"Use of the fieldbus systems in academic setting","authors":"Z. Hanzálek, T. Pacha","doi":"10.1109/RTSE.1998.766518","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766518","url":null,"abstract":"Computers are increasingly used for problems that require software solutions that must satisfy real-time constraints and are distributed in nature. The communication standards are developed and administrated by user organizations in which universities play an important role. In this paper, most of the existing user organizations working in the field are listed and our experience with industry is shown. Advantages of fieldbus systems and the role of our laboratory in co-operation with industry are explained. The controller area network (CAN) is a well-known bus technology in industrial communication systems. This paper shows an implementation of the CANopen protocol used by one of our industrial partners in trains and mining machines.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131951997","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}
引用次数: 15
Formal methods in the classroom: the logic of real-time software design 课堂上的形式化方法:实时软件设计的逻辑
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766514
J. Ostroff, R. Paige
{"title":"Formal methods in the classroom: the logic of real-time software design","authors":"J. Ostroff, R. Paige","doi":"10.1109/RTSE.1998.766514","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766514","url":null,"abstract":"In recent years, much progress has been made towards the development of mathematical methods (\"formal methods\") through which it is possible, in principle, to specify and design software to conform to specifications. In this paper, we provide an overview of how formal methods-and particularly real-time formal methods-can be used throughout the software development cycle, and what methods and tools can be introduced in the computer science curriculum to support software development.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"195 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122696224","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}
引用次数: 6
Real-time education in a control engineering curriculum 控制工程课程中的实时教育
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766522
A. Crespo, J. Vila, F. Blanes, I. Ripoll
{"title":"Real-time education in a control engineering curriculum","authors":"A. Crespo, J. Vila, F. Blanes, I. Ripoll","doi":"10.1109/RTSE.1998.766522","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766522","url":null,"abstract":"In the control engineering curriculum at the Universidad Politecnica de Valencia there is a strong interaction between control and real-time courses. The objectives, contents and laboratory work of the real-time courses are presented. We put strong emphasis on the laboratory organization and the necessity of using the same equipment and tools to develop applications. The laboratory provides a novel structure in order to show to the students the capabilities of the new technologies.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"203 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116186466","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}
引用次数: 11
Training engineers in real-time systems design: an integrated curriculum 培训工程师实时系统设计:综合课程
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766506
J. P. Calvez, O. Pasquier
{"title":"Training engineers in real-time systems design: an integrated curriculum","authors":"J. P. Calvez, O. Pasquier","doi":"10.1109/RTSE.1998.766506","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766506","url":null,"abstract":"With the increase in system complexity the specification and design of overall real-time applications based on electronic and computer systems need to think at higher levels of abstraction and to integrate new concepts and methods. Training engineers efficiently and correctly is a real challenge. This paper describes and justifies the curriculum developed at IRESTE, University of Nantes, to educate and train engineers in system design. A curriculum is shown as more than a collection of courses. Starting from the competence requirements needed by companies for their system designers, we identify the essential components of the education. We then explain the progressive education process we are following at IRESTE. The main idea is that our curriculum is fully based on the MCSE methodology which is a complete seamless system-level design process covering all the design phases from customer's requirements to the final product. The nature of our student projects is described.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115106194","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}
引用次数: 2
Teaching software-intensive embedded systems at Tallinn Technical University 在塔林技术大学教授软件密集型嵌入式系统
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766509
L. Motus
{"title":"Teaching software-intensive embedded systems at Tallinn Technical University","authors":"L. Motus","doi":"10.1109/RTSE.1998.766509","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766509","url":null,"abstract":"The experience obtained by developing, delivering and modifying three courses on embedded software is discussed. Also, the goals of and reasons for developing these courses are explained. The courses are \"Introduction to real-time software engineering\", \"Software dynamics\" (meaning timing analysis of software) and \"Real-time software engineering environments\". All the courses address the starting stages of software development and are biased towards studying timing correctness of systems and software.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129660152","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}
引用次数: 3
The role of computing in simplifying the control engineering syllabus 计算机在简化控制工程教学大纲中的作用
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766524
K. Stillman
{"title":"The role of computing in simplifying the control engineering syllabus","authors":"K. Stillman","doi":"10.1109/RTSE.1998.766524","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766524","url":null,"abstract":"The speed and accuracy of computer generated responses means that much of the classical material in control engineering is no longer essential and can be deleted from the syllabus. This applies particularly to design methods based on root locus and frequency response. They can be replaced by methods based on the design of the closed loop characteristic equation. This paper suggests how this might be done and the role the computer can play in achieving it.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114500902","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}
引用次数: 1
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信