Technology Area System of Cyber Physical Systems
When the Internet of Things (IoT) contains sensors, it becomes an example of something called cyber physical systems (CPS), such as intelligent houses, smart electricity networks and intelligent transport systems. This is the focus of the Technology Area Systems for Cyber Physical Systems.
There is growing consensus that many important future innovations will involve closely coupled computational (or “cyber”) and physical components, often in a networked or distributed setting. Cyber-Physical Systems (CPSs) is a term coined to describe such systems, and has served as a flag for a large community of researchers working in this area.
At this Technology Area, we develop model-based methods that enable innovation within CPS. New methods are being developed for specification, simulation, and testing. Specification is the process of creating the models, which serve as the central artefact in model-based methods. Simulation provides a mechanism for “animating” or “running” models, and provides a fundamental tool for understanding the dynamics of a given model. At Halmstad University, focus has been on rigorous simulation methods which take into account round, discretization, and quantization errors and are guaranteed to produce correct results. Research on testing focuses on developing notions of conformance of software product lines and hybrid systems, as well as test-case generation.
Technology Area Leader:
Research within System of Cyber Physical Systems
Application areas for the research within cyber physical systems include robotics, automotive, and healthcare systems.
New methods are being developed for specification, simulation, and testing, Application areas include robotics, automotive, and healthcare systems.
What are cyber physical systems?
The Internet of Things (IoT) can be everyday items such as household appliances, clothes and accessories, but also machines, vehicles and buildings, with built-in electronics and internet connection, which allows them to be controlled or exchanged data over the Internet.
The ’things’ can be controlled and share information from other locations, which facilitates integration with computer systems and can result in higher efficiency and accuracy. When the IoT contains sensors, it becomes an example of something called cyber physical systems, such as intelligent houses, smart electricity grids and intelligent transport systems.
The Technology Area is responsible for carrying through and developing courses within Computer Communication, Computer Science, Computer Systems Engineering, Parallel Architectures and Real-Time Systems. Education of doctoral students is done within the doctoral education in information technology:
ELLIIT – Strategic Research Environment
Halmstad University, through ITE, is part of the ELLIIT strategic research environment (SFO) aimed at encouraging research in information technology and mobile communications. The overarching objective of ELLIIT is to support scientific excellence in combination with industrial relevance and impact.
ELLIIT stands for Excellence Center at Linköping-Lund in Information Technology and has four partners:
- Linköping University
- Lund University
- Halmstad University
- Blekinge Institute of Technology
ELLIIT constitutes a platform for both fundamental and applied research, and for cross-fertilization between disciplines and between academic researchers and industry experts. ELLIIT stands out by the quality and visibility of its publications, and its ability to attract and retain top talented researchers, and aims at being recognized as a top international research organization.
ELLIIT achieves its goals by a judicious choice of funded focus projects, a structured process for international recruitment, a balanced way of stimulating cooperation between research areas and between the sites involved, and a proactive approach towards fostering and maintaining cooperation with Swedish industry.
ELLIT web pages External link.
Halmstad University contributes to in ELLIIT in the following way:
- Walid Taha
Research by Halmstad University within ELLIT
- 5G wireless External link. – Researcher: Alexey Vinel
- Scalable Language Tools for Cyber-Physical Systems External link. – Researcher: Walid Taha
- Stream Computing Infrastructures External link. – Researcher: Zain Ul-Abdin
The Technology Area Systems of Cyber Physical Systems is, together with Technology Area Smart Electronic Systems, organised under department CERES at the School of Information Technology.
Technology Area Smart Electronic Systems
Department CERES at the School of Information Technology
During the period 2003 to 2015, research was conducted in this area at the Center for Research on Embedded Systems (then CERES).