hh.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Publications (10 of 11) Show all publications
Duracz, A., Bartha, F. Á. & Taha, W. (2016). Accurate Rigorous Simulation Should be Possible for Good Designs. In: Erika Ábrahám & Sergiy Bogomolov (Ed.), Proceedings of the 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR): . Paper presented at 2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), Vienna, Austria, April 11, 2016. Piscataway, NJ: IEEE conference proceedings, Article ID 7479376.
Open this publication in new window or tab >>Accurate Rigorous Simulation Should be Possible for Good Designs
2016 (English)In: Proceedings of the 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) / [ed] Erika Ábrahám & Sergiy Bogomolov, Piscataway, NJ: IEEE conference proceedings, 2016, article id 7479376Conference paper, Published paper (Refereed)
Abstract [en]

The development of Cyber-Physical Systems benefits from better methods and tools to support the simulation and verification of hybrid (continuous/discrete) models. Acumen is an open source testbed for exploring the design space of what rigorous-but-practical next-generation tools can deliver to developers. Central to Acumen is the notion of rigorous simulation. Like verification tools, rigorous simulation is intended to provide guarantees about the behavior of the system. Like traditional simulation tools, it is intended to be intuitive, practical, and scalable. Whether these two goals can be achieved simultaneously is an important, long-term challenge.

This paper proposes a design principle that can play an important role in meeting this challenge. The principle addresses the criticism that accumulating numerical errors is a serious impediment to practical rigorous simulation. It is inspired by a twofold insight: one relating to the nature of systems engineered in the real world, and the other relating to how numerical errors in the simulation of a model can be recast as errors in the state or parameters of the model in the simulation. We present a suite of small, concrete benchmarks that can be used to assess the extent to which a rigorous simulator upholds the proposed principle. We also report on which benchmarks Acumen's current rigorous simulator already succeeds and which ones remain challenging.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE conference proceedings, 2016
Keywords
modeling, simulation, interval analysis, stability
National Category
Computational Mathematics
Identifiers
urn:nbn:se:hh:diva-30577 (URN)10.1109/SNR.2016.7479376 (DOI)000382758100001 ()2-s2.0-84978544274 (Scopus ID)978-1-5090-3079-8 (ISBN)
Conference
2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), Vienna, Austria, April 11, 2016
Funder
Knowledge FoundationVINNOVA, 2011-01819
Note

Funding: US NSF award CPS-1136099, the Swedish Knowledge Foundation (KK), The CERES Center, and VINNOVA (Dnr. 2011-01819).

Available from: 2016-03-23 Created: 2016-03-23 Last updated: 2018-03-22Bibliographically approved
Taha, W., Duracz, A., Zeng, Y., Atkinson, K., Bartha, F. Á., Brauner, P., . . . Grante, C. (2016). Acumen: An Open-source Testbed for Cyber-Physical Systems Research. In: Benny Mandler, Johann Marquez-Barja, Miguel Elias Mitre Campista, Dagmar Cagáňová, Hakima Chaouchi, Sherali Zeadally, Mohamad Badra, Stefano Giordano, Maria Fazio, Andrey Somov & Radu-Laurentiu Vieriu (Ed.), Internet of Things. IoT Infrastructures: Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part I. Paper presented at EAI International Conference on CYber physiCaL systems, iOt and sensors Networks (CYCLONE '15), Rome, Italy, October 26, 2015 (pp. 118-130). Heidelberg: Springer, 169
Open this publication in new window or tab >>Acumen: An Open-source Testbed for Cyber-Physical Systems Research
Show others...
2016 (English)In: Internet of Things. IoT Infrastructures: Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part I / [ed] Benny Mandler, Johann Marquez-Barja, Miguel Elias Mitre Campista, Dagmar Cagáňová, Hakima Chaouchi, Sherali Zeadally, Mohamad Badra, Stefano Giordano, Maria Fazio, Andrey Somov & Radu-Laurentiu Vieriu, Heidelberg: Springer, 2016, Vol. 169, p. 118-130Conference paper, Published paper (Refereed)
Abstract [en]

Developing Cyber-Physical Systems requires methods and tools to support simulation and verification of hybrid (both continuous and discrete) models. The Acumen modeling and simulation language is an open source testbed for exploring the design space of what rigorous-but-practical next-generation tools can deliver to developers of Cyber-Physical Systems. Like verification tools, a design goal for Acumen is to provide rigorous results. Like simulation tools, it aims to be intuitive, practical, and scalable. However, it is far from evident whether these two goals can be achieved simultaneously.

This paper explains the primary design goals for Acumen, the core challenges that must be addressed in order to achieve these goals, the "agile research method" taken by the project, the steps taken to realize these goals, the key lessons learned, and the emerging language design. © ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2016.

Place, publisher, year, edition, pages
Heidelberg: Springer, 2016
Series
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, ISSN 1867-8211 ; 169
Keywords
Testbed, Cyber-Physical Systems (CPS), Modeling, Simulation, Hybrid Systems, Open Source Software
National Category
Computer Sciences
Identifiers
urn:nbn:se:hh:diva-29592 (URN)10.1007/978-3-319-47063-4_11 (DOI)000398616500011 ()2-s2.0-85000500985 (Scopus ID)978-3-319-47062-7 (ISBN)978-3-319-47063-4 (ISBN)
Conference
EAI International Conference on CYber physiCaL systems, iOt and sensors Networks (CYCLONE '15), Rome, Italy, October 26, 2015
Funder
Knowledge FoundationVINNOVA, 2011-01819
Note

This work was supported by US NSF award CPS-1136099, the Swedish Knowledge Foundation (KK), The Center for Research on Embedded Systems (CERES), and VINNOVA (Dnr. 2011-01819).

Available from: 2015-10-08 Created: 2015-10-08 Last updated: 2018-03-22Bibliographically approved
Aljarbouh, A., Zeng, Y., Duracz, A., Caillaud, B. & Taha, W. (2016). Chattering-Free Simulation for Hybrid Dynamical Systems: Semantics and Prototype Implementation. In: Randall Bilof (Ed.), 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES): . Paper presented at 19th IEEE International Conference on Computational Science and Engineering (CSE 2016), Paris, France, August 24-26, 2016 (pp. 412-422). Los Alamitos: IEEE Computer Society, Article ID 7982279.
Open this publication in new window or tab >>Chattering-Free Simulation for Hybrid Dynamical Systems: Semantics and Prototype Implementation
Show others...
2016 (English)In: 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) / [ed] Randall Bilof, Los Alamitos: IEEE Computer Society, 2016, p. 412-422, article id 7982279Conference paper, Published paper (Refereed)
Abstract [en]

Chattering is a fundamental phenomenon that is unique to hybrid systems, due to the complex interaction between discrete dynamics (in the form of discrete transitions) and continuous dynamics (in the form of time). In practice, simulating chattering hybrid systems is challenging in that simulation effectively halts near the chattering time point, as an infinite number of discrete transitions would need to be simulated. In this paper, formal conditions are provided for when the simulated models of hybrid systems display chattering behavior, and methods are proposed for avoiding chattering “on the fly” in runtime. We utilize dynamical behavior analysis to derive conditions for detecting chattering without enumeration of modes. We also present a new iterative algorithm to allow for solutions to be carried past the chattering point, and we show by a prototypical implementation how to generate the equivalent chattering-free dynamics internally by the simulator in the main simulation loop. The concepts are illustrated with examples throughout the paper. © 2016 IEEE.

Place, publisher, year, edition, pages
Los Alamitos: IEEE Computer Society, 2016
Keywords
Hybrid systems, Numerical simulations, Chattering execution, Modeling and simulation, Model verification and completeness
National Category
Computer Sciences Computational Mathematics
Identifiers
urn:nbn:se:hh:diva-32092 (URN)10.1109/CSE-EUC-DCABES.2016.217 (DOI)2-s2.0-85026642957 (Scopus ID)978-1-5090-3593-9 (ISBN)978-1-5090-3594-6 (ISBN)
Conference
19th IEEE International Conference on Computational Science and Engineering (CSE 2016), Paris, France, August 24-26, 2016
Funder
Knowledge Foundation
Note

Funding: Collège Doctoral International (CDI) of the European University of Brittany, Brittany Regional Council, ITEA2 MODRIO project, the US National Science Foundation award CPS-1136099, the Swedish Knowledge Foundation (KK), and the Center for Research on Embedded Systems (CERES)

Available from: 2016-09-27 Created: 2016-09-27 Last updated: 2018-03-22Bibliographically approved
Taha, W., Zeng, Y., Duracz, A., Xu, F., Atkinson, K., Brauner, P., . . . Philippsen, R. (2016). Developing a first course on cyber-physical systems. ACM SIGBED Review, 14(1), 44-52
Open this publication in new window or tab >>Developing a first course on cyber-physical systems
Show others...
2016 (English)In: ACM SIGBED Review, E-ISSN 1551-3688, Vol. 14, no 1, p. 44-52Article in journal (Refereed) Published
Abstract [en]

Effective and creative Cyber-Physical Systems (CPS) development requires expertise in disparate fields that have traditionally been taught in several distinct disciplines. At the same time, students seeking a CPS education generally come from diverse educational backgrounds. In this paper, we report on our recent experience of developing and teaching a course on CPS. The course addresses the following three questions: What are the core elements of CPS? How should these core concepts be integrated in the CPS design process? What types of modeling tools can assist in the design of Cyber-Physical Systems? Our experience with the first four offerings of the course has been positive overall. We also discuss the lessons we learned from some issues that were not handled well. All material including lecture notes and software used for the course are openly available online.

Place, publisher, year, edition, pages
New York, NY: Association for Computing Machinery (ACM), 2016
National Category
Computer Sciences
Identifiers
urn:nbn:se:hh:diva-36619 (URN)10.1145/3036686.3036692 (DOI)
Note

This work is based on an earlier work: Developing a First Course on Cyber-Physical Systems, in Workshop on Embedded and Cyber-Physical Systems Education, WESE, © ACM, 2014. http://dx.doi.org/10.1145/2829957.2829964. The primary support for the development of the course comes from Halmstad University, the Swedish Knowledge Foundation’s CERES centre at Halmstad University, the Swedish Knowledge Foundation’s FAR-EIS project, and the US National Science Foundation CPS Robot Design project. 

Available from: 2018-04-16 Created: 2018-04-16 Last updated: 2018-04-17Bibliographically approved
Konečný, M., Taha, W., Bartha, F. Á., Duracz, J., Duracz, A. & Ames, A. D. (2016). Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point. Nonlinear Analysis: Hybrid Systems, 20, 1-20
Open this publication in new window or tab >>Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
Show others...
2016 (English)In: Nonlinear Analysis: Hybrid Systems, ISSN 1751-570X, E-ISSN 1878-7460, Vol. 20, p. 1-20Article in journal (Refereed) Published
Abstract [en]

Even simple hybrid automata like the classic bouncing ball can exhibit Zeno behavior. The existence of this type of behavior has so far forced a large class of simulators to either ignore some events or risk looping indefinitely. This in turn forces modelers to either insert ad-hoc restrictions to circumvent Zeno behavior or to abandon hybrid automata. To address this problem, we take a fresh look at event detection and localization. A key insight that emerges from this investigation is that an enclosure for a given time interval can be valid independent of the occurrence of a given event. Such an event can then even occur an unbounded number of times. This insight makes it possible to handle some types of Zeno behavior. If the post-Zeno state is defined explicitly in the given model of the hybrid automaton, the computed enclosure covers the corresponding trajectory that starts from the Zeno point through a restarted evolution. ©2015 The Authors. Published by Elsevier Ltd.

Place, publisher, year, edition, pages
London: Elsevier, 2016
Keywords
hybrid automata, hybrid systems, validated numerics, simulation, model validation, reliability
National Category
Computational Mathematics
Identifiers
urn:nbn:se:hh:diva-29869 (URN)10.1016/j.nahs.2015.10.004 (DOI)000370898700001 ()2-s2.0-84947996983 (Scopus ID)
Funder
Knowledge Foundation, 20100314
Note

A preliminary version of this paper was published in the proceedings of CPSNA 2013. This work was supported by the US National Science Foundation, awards NSF-CPS-1136099/1136104, the Swedish Knowledge Foundation (KK) and the Center for Research on Embedded Systems (CERES) grant number 20100314, and EPSRC grant number EP/C01037X/1.

Available from: 2015-12-02 Created: 2015-12-02 Last updated: 2018-03-22Bibliographically approved
Taha, W., Hedström, L.-G., Xu, F., Duracz, A., Bartha, F. A., Zeng, Y., . . . Gunjan, G. (2016). Flipping a First Course on Cyber-Physical Systems – An Experience Report. In: Proceedings Of The 2016 Workshop On Embedded And Cyber-Physical Systems Education (Wese): . Paper presented at Workshop on Embedded and Cyber-Physical Systems Education (WESE 2016), Pittsburgh, PA, USA, Oct. 1-6, 2016. New York: ACM Press
Open this publication in new window or tab >>Flipping a First Course on Cyber-Physical Systems – An Experience Report
Show others...
2016 (English)In: Proceedings Of The 2016 Workshop On Embedded And Cyber-Physical Systems Education (Wese), New York: ACM Press, 2016Conference paper, Published paper (Refereed)
Abstract [en]

The flipped classroom format involves swapping activities traditionally performed inside and outside the classroom. The expected effects from this swap include increased student engagement and peer-to-peer interaction in the classroom, as well as more flexible access to learning materials. Key criteria for successful outcomes from these effects include improved test scores and enhanced student satisfaction. Unfortunately, while many researchers have reported positive outcomes from the approach, some instructors can still encounter difficulties in reproducing this success.

In this paper we report our experiences with flipping a first course on Cyber-Physical Systems at Halmstad University. The course is required for a Masters level program and is available as an elective for undergraduates. The focus of this report is on three separate editions of the course taught over three years. In the first year, lectures were recorded. In the second, the same instructor taught the course using the flipped format. In the third, new instructors taught it using the flipped classroom format.

Our experience suggests that flipping a classroom can lead to improved student performance and satisfaction from the first edition. It can also enable new instructors to take over the course and perform at a level comparable to an experienced instructor. On the other hand, it also suggests that the format may require more effort to prepare for, and to teach, than the traditional format, and that a higher level of attention to detail is needed to execute it with positive outcomes. Thus, the format can be demanding for instructors. It is also the case that not all students preferred this format.

Place, publisher, year, edition, pages
New York: ACM Press, 2016
Keywords
Flipped Classroom, Cyber-Physical Systems, Embedded Systems
National Category
Didactics
Identifiers
urn:nbn:se:hh:diva-32093 (URN)10.1145/3005329.3005337 (DOI)000406149500008 ()2-s2.0-85009773542 (Scopus ID)978-1-450-34657-3 (ISBN)
Conference
Workshop on Embedded and Cyber-Physical Systems Education (WESE 2016), Pittsburgh, PA, USA, Oct. 1-6, 2016
Projects
FAR-EIS
Funder
Knowledge Foundation
Note

Funding: US National Science Foundation (NSF) through the NSF CPS Project #1136099, and the Swedish Knowledge Foundation (KK) Project FAR-EIS.

Available from: 2016-09-27 Created: 2016-09-27 Last updated: 2018-03-22Bibliographically approved
Zeng, Y., Chad, R., Taha, W., Duracz, A., Atkinson, K., Philippsen, R., . . . O'Malley, M. (2016). Modeling Electromechanical Aspects of Cyber-Physical Systems. Journal of Software Engineering for Robotics, 7(1), 100-119
Open this publication in new window or tab >>Modeling Electromechanical Aspects of Cyber-Physical Systems
Show others...
2016 (English)In: Journal of Software Engineering for Robotics, ISSN 2035-3928, E-ISSN 2035-3928, Vol. 7, no 1, p. 100-119Article in journal (Refereed) Published
Abstract [en]

Model-based tools have the potential to significantly improve the process of developing novel cyber-physical systems (CPS). In this paper, we consider the question of what language features are needed to model such systems. We use a small, experimental hybrid systems modeling language to show how a number of basic and pervasive aspects of cyber-physical systems can be modeled concisely using the small set of language constructs. We then consider four, more complex, case studies from the domain of robotics. The first, a quadcopter, illustrates that these constructs can support the modeling of interesting systems. The second, a serial robot, provides a concrete example of why it is important to support static partial derivatives, namely, that it significantly improves the way models of rigid body dynamics can be expressed. The third, a linear solenoid actuator, illustrates the language’s ability to integrate multiphysics subsystems. The fourth and final, a compass gait biped, shows how a hybrid system with non-trivial dynamics is modeled. Through this analysis, the work establishes a strong connection between the engineering needs of the CPS domain and the language features that can address these needs. The study builds the case for why modeling languages can be improved by integrating several features, most notably, partial derivatives, differentiation without duplication, and support for equations. These features do not appear to be addressed in a satisfactory manner in mainstream modeling and simulation tools.

Keywords
Domain-Specific Language, Cyber-Physical Systems
National Category
Engineering and Technology Computer Sciences
Identifiers
urn:nbn:se:hh:diva-32091 (URN)
Funder
Knowledge Foundation
Note

Funding: US NSF CPS award (No.1136099), Swedish KK-Foundation, CERES and CAISR Centres, and the Swedish SSF NG-Test

Available from: 2016-09-27 Created: 2016-09-27 Last updated: 2018-03-22Bibliographically approved
Duracz, A. (2016). Rigorous Simulation: Its Theory and Applications. (Doctoral dissertation). Halmstad: Halmstad University Press
Open this publication in new window or tab >>Rigorous Simulation: Its Theory and Applications
2016 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Furthermore computational components make testing all possible behavior unfeasible. Model-based design mitigates these issues by making it possible to iterate over a design much faster. Traditional simulation tools can produce useful results, but their results are traditionally approximations that make it impossible to distinguish a useful simulation from one dominated by numerical error. Verification tools require skills in formal specification and a priori understanding of the particular dynamical system being studied.

This thesis presents rigorous simulation, an approach to simulation that uses validated numerics to produce results that quantify and bound all approximation errors accumulated during simulation. This makes it possible for the user to objectively and reliably distinguish accurate simulations from ones that do not provide enough information to be useful. Explicitly quantifying the error in the output has the side-effect of leading to a tool for dealing with inputs that come with quantified uncertainty.

We formalize the approach as an operational semantics for a core subset of the domain-specific language Acumen. The operational semantics is extended to a larger subset through a translation. Preliminary results toward proving the soundness of the operational semantics with respect to a denotational semantics are presented. A modeling environment with a rigorous simulator based on the operational semantics is described. The implementation is portable, and its source code is freely available. The accuracy of the simulator on different kinds of systems is explored through a set of benchmark models that exercise different aspects of a rigorous simulator. A case study from the automotive domain is used to evaluate the applicability of the simulator and its modeling language. In the case study, the simulator is used to compute rigorous bounds on the output of a model.

Place, publisher, year, edition, pages
Halmstad: Halmstad University Press, 2016. p. 203
Series
Halmstad University Dissertations ; 25
Keywords
simulation, verification, interval analysis, validated numerics, hybrid systems, cyber-physical systems
National Category
Computer Sciences
Identifiers
urn:nbn:se:hh:diva-32608 (URN)978-91-87045-53-0 (ISBN)978-91-87045-52-3 (ISBN)
Public defence
2016-12-01, Wigforssalen, Visionen, Kristian IV:s väg 3, Halmstad, 13:15 (English)
Opponent
Supervisors
Funder
VINNOVAKnowledge Foundation
Available from: 2016-12-07 Created: 2016-12-07 Last updated: 2018-01-13Bibliographically approved
Duracz, A., Eriksson, H., Bartha, F. Á., Zeng, Y., Xu, F. & Taha, W. (2015). Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment. In: Meikang Qiu, Yongxin Zhu, Daikai Zhu & Fengling Han (Ed.), 2015 IEEE 12th International Conference on Embedded Software and Systems (ICESS): . Paper presented at The 12th IEEE International Conference on Embedded Software and Systems (ICESS 2015), August 24-26, New York, USA (pp. 1093-1096). Piscataway, N.J.: IEEE Press
Open this publication in new window or tab >>Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment
Show others...
2015 (English)In: 2015 IEEE 12th International Conference on Embedded Software and Systems (ICESS) / [ed] Meikang Qiu, Yongxin Zhu, Daikai Zhu & Fengling Han, Piscataway, N.J.: IEEE Press, 2015, p. 1093-1096Conference paper, Published paper (Refereed)
Abstract [en]

Rigorous simulation is a new technology that can play a key role in managing uncertainty in the design of safety-critical cyber-physical systems. One of its important applications is the analysis and evaluation of functional safety for road vehicles according to international standards such as ISO 26262. Previous work  presented preliminary evidence to support the feasibility of using rigorous simulation for this purpose. Here we report on advances in our implementation of rigorous simulation and show how they enable the rigorous simulation of more refined and more complete models. A larger case study highlights the benefits of these advances and helps us identify new challenges that should be addressed by future work. © 2015 IEEE.

Place, publisher, year, edition, pages
Piscataway, N.J.: IEEE Press, 2015
Keywords
hybrid systems, verification, iso 26262
National Category
Computer Sciences
Identifiers
urn:nbn:se:hh:diva-29050 (URN)10.1109/HPCC-CSS-ICESS.2015.296 (DOI)000380408100180 ()2-s2.0-84961700429 (Scopus ID)
Conference
The 12th IEEE International Conference on Embedded Software and Systems (ICESS 2015), August 24-26, New York, USA
Funder
Knowledge FoundationVINNOVA, 2011-01819
Note

This work was supported by US National Science Foundation award CPS-1136099, the Swedish Knowledge Foundation (KK), The Center for Research on Embedded Systems (CERES), and VINNOVA (Dnr. 2011-01819).

Available from: 2015-07-29 Created: 2015-07-21 Last updated: 2018-03-22Bibliographically approved
Barisas, D., Duracz, A. & Taha, W. (2014). DSLs Should be Online Applications. In: Joint International Conference on Engineering Education & International Conference on Information Technology: ICEE/ICIT-2014: June 2 - 6, 2014: Riga, Latvia: Conference proceedings. Paper presented at 2014 Joint International Conference on Engineering Education & International Conference on Information Technology, 2-6 June 2014, Riga, Latvia (pp. 314-319).
Open this publication in new window or tab >>DSLs Should be Online Applications
2014 (English)In: Joint International Conference on Engineering Education & International Conference on Information Technology: ICEE/ICIT-2014: June 2 - 6, 2014: Riga, Latvia: Conference proceedings, 2014, p. 314-319Conference paper, Published paper (Refereed)
Abstract [en]

Domain-Specific Languages (DSLs) play an important role in both practice and education. But developing them is challenging, because a DSL must ultimately satisfy a large and complex set of user/customer requirements to fulfil its intended role, and neither requirements nor users are fully available at all times during the development process. Requirements can be elicited using agile methods but such methods assume the availability of the users. The situation is further complicated when the user base is primarily students and when enhanced learning is a key requirement. In this paper we propose developing DSLs, especially educational ones, as online applications. We analyze how this can help requirement elicitation and learning. Being online brings language development closer to the user, yielding new opportunities to improve and accelerate the language design process. It is also well-matched to agile methods, since web- based analytics provide an abundant source of data that integrates naturally into the development process. As an example, we consider applying the method to Acumen, a DSL designed to support teaching Cyber-Physical Systems.

Keywords
Agile methods, Domain-Specific Languages (DSLs), Cyber-Physical Systems (CPS), Web-based Applications, Staging, Education
National Category
Computer Sciences
Identifiers
urn:nbn:se:hh:diva-25038 (URN)
Conference
2014 Joint International Conference on Engineering Education & International Conference on Information Technology, 2-6 June 2014, Riga, Latvia
Available from: 2014-04-12 Created: 2014-04-12 Last updated: 2018-03-22Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0003-4175-4020

Search in DiVA

Show all publications