System-level feature-based modeling of cyber-physical systems: A theoretical framework and methodological fundamentals

Cyber-physical systems are complex trans-disciplinary systems. Designing this kind of systems requires cooperation of several groups of experts with various backgrounds such as mechatronics and robotics, software engineering, data management, knowledge engineering, system on a chip, embedded systems, humans and systems interaction, and social...

System-level Fault-Tolerance Analysis of Small Satellite On-Board Computers

Commercial Off-The-Shelf (COTS) electronic components offer cost-effective solutions for the development of On-Board Computers (OBCs) in the small satellite industry. However, the COTS parts are not originally designed to withstand the space radiation environment. Traditional fault-tolerance practices rely on expensive radiation tests or are...