Workshop on Embedded and Cyber-Physical Systems Education最新文献

Embedded computer architecture laboratory: a hands-on experience programming embedded systems with resource and energy constraints 嵌入式计算机体系结构实验室:具有资源和能源限制的嵌入式系统编程实践经验

Workshop on Embedded and Cyber-Physical Systems Education Pub Date : 2012-10-12 DOI: 10.1145/2530544.2530551

Andrew Nelson, A. Molnos, Ashkan Beyranvand Nejad, D. Mirzoyan, S. Cotofana, K. Goossens

{"title":"Embedded computer architecture laboratory: a hands-on experience programming embedded systems with resource and energy constraints","authors":"Andrew Nelson, A. Molnos, Ashkan Beyranvand Nejad, D. Mirzoyan, S. Cotofana, K. Goossens","doi":"10.1145/2530544.2530551","DOIUrl":"https://doi.org/10.1145/2530544.2530551","url":null,"abstract":"Embedded systems are complex, requiring multi-disciplinary skills for their design. Developing appropriate educational curricula is a non trivial problem. Embedded system design requires both theoretical and practical understanding. It is common in embedded system education to provide practical laboratory sessions to put into practice what is learnt from lectures and textbooks.\u0000 In this paper, we present our embedded systems laboratory that is given as part of the Embedded Computer Architecture (ECA) module at Delft University of Technology. Our laboratory provides practical, hands-on experience of programming a multiprocessor embedded system, that is prototyped on an FPGA. We provide details of the hardware platform and software APIs that are provided to the students, along with the laboratory assignment that was given to the ECA students in the 2011-2012 academic year. We present example results that were submitted by groups taking part in the laboratory, and describe the lessons we learned from our own practical experience of giving the laboratory.","PeriodicalId":121254,"journal":{"name":"Workshop on Embedded and Cyber-Physical Systems Education","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116882793","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

Competence oriented embedded systems course for computer science students 面向计算机科学专业学生的能力导向嵌入式系统课程

Workshop on Embedded and Cyber-Physical Systems Education Pub Date : 2012-10-12 DOI: 10.1145/2530544.2530550

Steffen Jaschke, Steffen Büchner, Sigrid E. Schubert, André Schäfer, R. Brück

引用次数: 7

Teaching embedded systems the Berkeley way 以伯克利的方式教授嵌入式系统

Workshop on Embedded and Cyber-Physical Systems Education Pub Date : 2012-10-12 DOI: 10.1145/2530544.2530545

Edward A. Lee, S. Seshia, J. Jensen

引用次数: 21

Development of a modeling education program for novices using model-driven development 为使用模型驱动开发的新手开发建模教育程序

Workshop on Embedded and Cyber-Physical Systems Education Pub Date : 2012-10-12 DOI: 10.1145/2530544.2530548

Seiko Akayama, Shin Kuboaki, K. Hisazumi, T. Futagami, T. Kitasuka

{"title":"Development of a modeling education program for novices using model-driven development","authors":"Seiko Akayama, Shin Kuboaki, K. Hisazumi, T. Futagami, T. Kitasuka","doi":"10.1145/2530544.2530548","DOIUrl":"https://doi.org/10.1145/2530544.2530548","url":null,"abstract":"Modeling education is necessary for software engineers because object-oriented modeling is used widely in the computing industry. However, there may be problems in terms of the \"necessity of models,\" \"modeling methodology,\" and \"model refinement\" when learning about modeling.\u0000 Model-driven development (MDD) can verify the accuracy of models and generate the source code, which allows a programmer to reduce the development time required to check the software so he or she can focus on the modeling process. Thus, modeling should be taught with MDD because it allows students to acquire modeling skills in a short period of time.\u0000 We developed an education program using MDD for novices. The first concept used by this program is \"software modeling education using MDD,\" which allows students to repeat model refinement in a short period of time. The second concept used by this program is \"spiral education in the fundamental techniques and development experience,\" which allows students to learn fundamental techniques and understand methods that utilize these fundamental techniques.\u0000 We conducted a trial course in a college, and the results confirmed improvement of modeling skills and reduction in the above-stated problems.","PeriodicalId":121254,"journal":{"name":"Workshop on Embedded and Cyber-Physical Systems Education","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123437823","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

Teaching cyber-physical systems: a programming approach 网络物理系统教学:一种编程方法

Workshop on Embedded and Cyber-Physical Systems Education Pub Date : 2012-10-12 DOI: 10.1145/2530544.2530547

Kerstin Bauer, K. Schneider

{"title":"Teaching cyber-physical systems: a programming approach","authors":"Kerstin Bauer, K. Schneider","doi":"10.1145/2530544.2530547","DOIUrl":"https://doi.org/10.1145/2530544.2530547","url":null,"abstract":"One major problem for the design of cyber-physical systems is the understanding of problems that can arise from the interaction of discrete and continuous behaviors, i.e., the behaviors of hybrid systems whose discrete states enable attached differential equations. Tools like Simulink, Labview, Scicos, and Dymola are powerful choices for the simulation of such systems. However, the modeling capabilities of these tools are limited to a composition of given blackbox modules, so that they miss the notion of typical programs. To make use of algorithmic models, we recently proposed an extension of the synchronous programming language Quartz to model, simulate, and verify cyber-physical systems. We developed an operational semantics of this language that formally specifies a simulator, and we also defined a translation to hybrid state transition systems for the formal verification of these systems.\u0000 In this paper, we describe how our Quartz language and the related Averest toolset can be used for teaching cyber-physical systems. We present the concept of an introductory course for modeling, simulation, and verification of these systems in a Master program in Computer Science. The goal of the lecture is to provide a broad overview to introduce the students to the main research areas in this field. Besides a theoretical foundation, we emphasize the combination of lecture courses with practical exercises using our Averest tools for simulation and verification. This way, we show our students several effects that may occur in the design of cyber-physical systems like zeno behaviors, urgent transitions, real-time requirements, etc.","PeriodicalId":121254,"journal":{"name":"Workshop on Embedded and Cyber-Physical Systems Education","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122484893","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}

引用次数: 18

RIOS: a lightweight task scheduler for embedded systems RIOS:用于嵌入式系统的轻量级任务调度器

Workshop on Embedded and Cyber-Physical Systems Education Pub Date : 2012-10-12 DOI: 10.1145/2530544.2530553

Bailey Miller, F. Vahid, T. Givargis

引用次数: 12

Automating exercise generation: a step towards meeting the MOOC challenge for embedded systems 自动化练习生成:朝着满足嵌入式系统MOOC挑战迈出的一步

Workshop on Embedded and Cyber-Physical Systems Education Pub Date : 2012-10-12 DOI: 10.1145/2530544.2530546

Dorsa Sadigh, S. Seshia, M. Gupta

引用次数: 75

Microprocessor-based systems design teaching platform for undergraduate students in computer engineering 基于微处理器的计算机工程本科系统设计教学平台

Workshop on Embedded and Cyber-Physical Systems Education Pub Date : 2012-10-12 DOI: 10.1145/2530544.2530552

D. C. Dyer, Y. Aung

引用次数: 1

Teaching cross-platform design and testing methods for embedded systems using DICE 运用DICE教授嵌入式系统跨平台设计与测试方法

Workshop on Embedded and Cyber-Physical Systems Education Pub Date : 2011-10-13 DOI: 10.1145/2077370.2077376

S. Bhattacharyya, W. Plishker, A. Gupta, Chung-Ching Shen

{"title":"Teaching cross-platform design and testing methods for embedded systems using DICE","authors":"S. Bhattacharyya, W. Plishker, A. Gupta, Chung-Ching Shen","doi":"10.1145/2077370.2077376","DOIUrl":"https://doi.org/10.1145/2077370.2077376","url":null,"abstract":"DICE (the DSPCAD Integrative Command Line Environment) is a package of utilities that facilitates efficient management of software projects. Key areas of emphasis in DICE are cross-platform operation, support for projects that integrate heterogeneous programming languages, and support for applying and integrating different kinds of design and testing methodologies. The package is being developed at the University of Maryland to facilitate the research and teaching of methods for implementation, testing, evolution, and revision of engineering software.\u0000 The platform- and language-independent focus of DICE makes it an effective vehicle for teaching high-productivity, high-reliability methods for design and implementation of embedded systems for a variety of courses. In this paper, we provide an overview of features of DICE --- particularly as they relate to testing driven design practices --- that are useful in embedded systems education, and discuss examples and experiences of applying the tool in courses at the University of Maryland aimed at diverse groups of students --- undergraduate programming concepts for engineers, graduate VLSI architectures (aimed at research-oriented students), and graduate FPGA system design (aimed at professional Master's students).","PeriodicalId":121254,"journal":{"name":"Workshop on Embedded and Cyber-Physical Systems Education","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121925865","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

Embedded system design 2.0: rationale behind a textbook revision 嵌入式系统设计2.0:教科书修订背后的基本原理

Workshop on Embedded and Cyber-Physical Systems Education Pub Date : 2011-10-13 DOI: 10.1145/2077370.2077372

P. Marwedel, M. Engel

引用次数: 2