Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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 tolerancenonlinear ​and hybrid dynamicssafety criticality,​ real time constraints,​ autonomous behavior, and reconfigurability.+Our research ​goal is elaboration of formal theoriesmethods ​and tools for embedded distributed systems design with special focus on schedulingverificationmodel 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 |