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

Proceedings Real-Time Systems Education III最新文献

筛选
英文 中文
Student projects in reactive and real-time systems course 响应式和实时系统课程的学生项目
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766513
Ran Lotenberg, S. Tyszberowicz
{"title":"Student projects in reactive and real-time systems course","authors":"Ran Lotenberg, S. Tyszberowicz","doi":"10.1109/RTSE.1998.766513","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766513","url":null,"abstract":"Presents student assignments and the experience gained in a graduate course entitled \"Reactive and real-time systems\", taught at Tel-Aviv University. The course focuses on the development of provably correct reactive and real-time systems. Hence, the major projects that were given included the full life-cycle of a system development: specification, design, implementation and verification. The software tools employed in the course are freely available from various Internet sites. Students had the freedom to choose the tools they used, and indeed many of them chose more than one tool to supply a system that was automatically verified against its requirements.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"26 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":"128643885","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
Teaching real-time systems using Petri nets 使用Petri网教学实时系统
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766512
T. Letia, C. Gruita
{"title":"Teaching real-time systems using Petri nets","authors":"T. Letia, C. Gruita","doi":"10.1109/RTSE.1998.766512","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766512","url":null,"abstract":"Abstract concepts and complex methods can usually be understood more easily if some grapho-analytical techniques are used. Real-time systems (RTSs) include a wide variety of concepts, such as concurrency, parallelism and synchronization, and methods for specification, design, verification, implementation, etc., that have to be connected together. For this reason, the use of Petri nets is proposed in this paper as a link between graphical representation and analytical methods, in order to give some tools for achieving the software life-cycle.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"71 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":"122852627","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
Real time systems education at Warsaw University of Technology 华沙理工大学的实时系统教育
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766510
K.M. Sacha
{"title":"Real time systems education at Warsaw University of Technology","authors":"K.M. Sacha","doi":"10.1109/RTSE.1998.766510","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766510","url":null,"abstract":"Describes the contents and the position of real-time systems education within the overall study system at the Department of Electronics and Information Technology at Warsaw University of Technology. A course in real-time systems is offered for undergraduate students as a part of the \"Computer Control Systems\" study profile. The paper describes the study model at the Department, the pre-requisite knowledge required for the real-time systems course, the course curriculum, and the content of lectures and laboratory exercises which are mandatory for the students who selected the course.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"26 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":"121641869","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
Application of mobile autonomous robots to artificial intelligence and information systems curricula 移动自主机器人在人工智能与信息系统课程中的应用
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766515
J. Fendrich, C. Nikolopoulos
{"title":"Application of mobile autonomous robots to artificial intelligence and information systems curricula","authors":"J. Fendrich, C. Nikolopoulos","doi":"10.1109/RTSE.1998.766515","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766515","url":null,"abstract":"Applies pedagogical ideas of teaching curricula by using strategies of themes and breadth-first coverage, together with the technology of intelligent agents (e.g. mobile autonomous robots), to a system of courses in computer science (artificial intelligence) and information systems (systems engineering). The project brings the issues and constraints of real-time systems, especially the programming component, to students in computer science and information systems curricula. This project's background started in June 1997 and continued during the first part of the 1997-1998 academic year. The actual project work started in January 1998 and is still continuing.","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":"126325260","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
Teaching device drivers technology in a real-time systems curriculum 实时系统课程中的教学设备驱动技术
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766511
A. Kornecki, H. Wojcicki, L. Peltier, J. Zalewski, N. Kruszynska
{"title":"Teaching device drivers technology in a real-time systems curriculum","authors":"A. Kornecki, H. Wojcicki, L. Peltier, J. Zalewski, N. Kruszynska","doi":"10.1109/RTSE.1998.766511","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766511","url":null,"abstract":"Describes activities related to development of device driver software-a topic very often left aside in most academic programs. With an individualized instruction, access to a well-equipped laboratory and self-motivated students, we proved that device driver development can be successfully taught. The artifacts of the research and development are posted on the World Wide Web and thus can serve as easily accessible teaching material for system developers. In the development, we used the real-time operating system platforms LynxOS and VxWorks and explored Linux.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"42 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":"114253498","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}
引用次数: 5
Dependability issues for a curriculum in real-time systems 实时系统课程的可靠性问题
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766507
J. Geffroy, Claude Baron, G. Motet
{"title":"Dependability issues for a curriculum in real-time systems","authors":"J. Geffroy, Claude Baron, G. Motet","doi":"10.1109/RTSE.1998.766507","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766507","url":null,"abstract":"This paper develops the dependability issues addressed by the new educational program named 'Real-Time and Systems' of the Department of Electrical Engineering and Computer Sciences at INSAT (National Institute of Applied Sciences of Toulouse). Engineers working in the field of embedded systems have to cope with process control and real-time computing. We show how this new curriculum integrates both aspects with the aim of mastering the development of dependable real-time systems.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"8 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":"130223943","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
A post-masters program in advanced software engineering for real-time embedded systems 实时嵌入式系统高级软件工程硕士后课程
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766526
D. Hammer, H.T.G. Weffers
{"title":"A post-masters program in advanced software engineering for real-time embedded systems","authors":"D. Hammer, H.T.G. Weffers","doi":"10.1109/RTSE.1998.766526","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766526","url":null,"abstract":"We describe the curriculum of a quite unique post-masters program at the Eindhoven University of Technology. This 2-years program is oriented towards the software engineering practice and puts special emphasis on the skills necessary for the development of embedded real-time systems. During the last 10 years, the program was very successful in providing the Dutch industry with highly skilled and motivated software engineers that are immediately deployable. Continuous process improvement is performed in order to adapt the curriculum to the needs of the industry and to improve the quality of the educational processes. The trainees are employees of the university and get a salary that enables them to have a reasonable living. In addition, the alumni usually get back their time-investment in form of a higher entrance level and a steeper career-path in comparison with alumni of the regular undergraduate programs.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"35 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":"130250481","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
Looking back on a decade of teaching process control engineering to computer science students 回顾十年来计算机科学专业学生的过程控制工程教学
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766527
W. Kastner
{"title":"Looking back on a decade of teaching process control engineering to computer science students","authors":"W. Kastner","doi":"10.1109/RTSE.1998.766527","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766527","url":null,"abstract":"This paper summarizes the work that had to be done to set up and tune a course dedicated to the wide area of automation and process control engineering. The first part of the paper deals with the lecture and its computer aided teaching material. Apart from annual tuning based on last year's experience it was primarily the practical that significantly changed over the years. Hence the second part of the paper focuses on former topics of the practical, points out the intentions of the actual one and ends with principal issues characterizing the practical of the future for our course called Prozessautomatisierung.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"66 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":"126363727","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
Real-time devices at practical prices: low cost laboratory projects 价格实惠的实时设备:低成本实验室项目
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766505
R. Maulucci, J. Lentz, R. Eckhouse
{"title":"Real-time devices at practical prices: low cost laboratory projects","authors":"R. Maulucci, J. Lentz, R. Eckhouse","doi":"10.1109/RTSE.1998.766505","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766505","url":null,"abstract":"It is a challenging task to develop a course in software methods which also includes a laboratory in which to experiment with the concepts. The challenge is made even more difficult when funds for such an endeavor are scarce. Practical and low-cost projects were implemented which give students hands-on experience with electronic devices while learning the software requirements of real-time systems. Students designed and built systems and wrote controlling software for a model train, floppy drive components, a balance beam, a robotic arm, and an elevator model. In all the projects, the problems are open ended so the instructor can require simple or more complicated solutions, depending on the abilities of the students and the course objectives.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"61 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":"117298499","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
Teaching real-time systems at DIT/UPM 在DIT/UPM教授实时系统
Proceedings Real-Time Systems Education III Pub Date : 1998-11-21 DOI: 10.1109/RTSE.1998.766523
J. A. de la Puente, A. Alonso, M. García-Valls, J. Ruiz
{"title":"Teaching real-time systems at DIT/UPM","authors":"J. A. de la Puente, A. Alonso, M. García-Valls, J. Ruiz","doi":"10.1109/RTSE.1998.766523","DOIUrl":"https://doi.org/10.1109/RTSE.1998.766523","url":null,"abstract":"Real-time systems is an important topic in the education of electrical engineers, the more so as the correct operation of many application systems is more and more dependent on their implementation in the form of real-time computer control systems. In spite of this, most electrical engineering curricula do not profit from modern real-time systems theory and techniques, and too often simplistic assumptions are made about the nature and implications of real-time computation. The authors describe their experience in teaching a real-time systems course and laboratory from a modern software engineering perspective. The results are highly positive, and show new ways to deal with this subject in the engineering curriculum.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"1 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":"131196166","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
首页 上一页 下一页 尾页
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学术官方微信