This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
en:research_design [2014/10/02 11:22] Juri Belikov created |
en:research_design [2014/10/02 18:54] Juri Belikov |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | Our research goal is elaboration of formal theories, mehods and tools for embedded distributed systems design with special focus on scheduling, verification, model based testing and code generation. | + | <div classes #research_head_main>Methods for provably correct design of embedded systems</div> |
- | Domain specific features studied in this research are dependability particularily fault tolerance, nonlinear and hybrid dynamics, safety criticality, real time constraints, autonomous behavior, and reconfigurability. | + | Our research goal is elaboration of formal theories, methods and tools for embedded distributed systems design with special focus on scheduling, verification, model based testing and code generation. |
- | Theoretical basis comprises real time temporal logics and hybrid automata, specially variations of timed automata. Design process is considered as a sequence of model transformations where abstraction and refinement transformations enhance systematic construction of specifications and models, needed for automatic design synthesis and verification steps. | + | Domain specific features studied in this research are dependability particularly fault tolerance, nonlinear and hybrid dynamics, safety criticality, real time constraints, autonomous behavior, and reconfigurability. |
+ | |||
+ | Theoretical basis comprises real time temporal logic and hybrid automata, specially variations of timed automata. Design process is considered as a sequence of model transformations where abstraction and refinement transformations enhance systematic construction of specifications and models, needed for automatic design synthesis and verification steps. | ||
The application domain includes mission critical and human adaptive robotics, robotic manufacturing systems, and multi-robot systems. | The application domain includes mission critical and human adaptive robotics, robotic manufacturing systems, and multi-robot systems. | ||
+ | |||
+ | |||
+ | <div classes #research_head>Members of the working group:</div> | ||
+ | ^ Name ^ Position ^ Degree ^ | ||
+ | | [[people#vain | Jüri Vain]] | senior researcher | PhD | |