СТРАТЕГІЯ:
Від критичного комп'ютингу до критичних ІТ інфраструктур
РІВНІ ОСВІТИ:
- Магістратура
- Аспірантура
- Підвищення кваліфікації
МЕТОДОЛОГІЯ:
Від розробки курсів до розробки технологій та інструментальних засобів
ЦІЛЬОВІ ГАЛУЗІ:
Від аерокосмічної інженерії до критичного комп'ютингу в цілому (АЕС, Банкінг й т.п.)
ПАРТНЕРСТВО:
Вчених, університетів, дослідних інститутів, індустріальних партнерів (UA та EU)
«National Safeware Engineering Network of Centres of Innovative Academia-Industry Handshaking»
Передумови
Зростаюча актуальність проблем зниження ризиків відмов критичних об'єктів та інфраструктур до прийнятного рівня призвела до появи терміну safeware (дослівно - «забезпечення безвідмовності»). У науковотехнічному співтоваристві сформувався спеціальний напрямок в інженерії, який може бути названий safeware engineering. Життєво важливі й безпрецедентні за складністю проблеми в цій галузі є одними з найбільш значущих викликів і вимагають спільних зусиль фахівців в області критичних систем, інформаційних технологій та менеджменту.
Докладніше...
Новини та події
MC3 - Co-design of safety-critical embedded systems
Responsible: Prof. A. Drozd - Odessa National Polytechnic University, Odessa (UA)
Brief Contents:
MCM3.1 Component-base approach in safety-critical embedded systems development (concept component-based approach and features of its application in safety-critical embedded systems development; commercial and critical OTS components classification; hardware, software and complex electronic components; criteria of OTS components assessment and selection; component-based on-line testing)
MCM3.2 Software-based safety-critical embedded systems development (life cycle models of safety-critical embedded systems; techniques of software-based embedded systems development and verification; methods of productivity and dependability improving; SW component self-testing; real-time SW development)
MCM3.3 FPGA-based safety-critical embedded systems development (features of life cycle models of FPGA-based safety-critical embedded systems; techniques of FPGA-based embedded systems development and verification; methods of productivity and dependability improving; FPGA project component self-testing)
MCM3.4 Technologies of safety-critical embedded systems co-design (intellectual property (IP) cores and infrastructure (IIP); IP and IIP-based development technologies; languages, techniques and tools: self-testing).