Projects / Programmes
Holistic Embedded Control Systems Design
Code |
Science |
Field |
Subfield |
2.07.05 |
Engineering sciences and technologies |
Computer science and informatics |
Information systems - software |
Code |
Science |
Field |
P170 |
Natural sciences and mathematics |
Computer science, numerical analysis, systems, control |
P175 |
Natural sciences and mathematics |
Informatics, systems theory |
T120 |
Technological sciences |
Systems engineering, computer technology |
real-time systems, embedded systems, control systems, specification, hardware-software co-design, real-time programming languages, verification and validation, modeling and simulation, feasibility analysis
Researchers (1)
no. |
Code |
Name and surname |
Research area |
Role |
Period |
No. of publicationsNo. of publications |
1. |
14741 |
PhD Roman Gumzej |
Administrative and organisational sciences |
Head |
2002 - 2004 |
168 |
Organisations (1)
Abstract
In the project, methods for holistic embedded control systems hardware and software design will be devised and joined in a methodology, with the goal of enhancing their reliability, safety and maintainability. Areas of hardware and software architecture (co-)specification, verification and validation of the design with regard to its feasibility will be covered. An existing real-time programming language will be enhanced for use with the mentioned methodology. Tool prototypes will be implemented to check the suitability of the novel concepts.