Skip to main content

3 Result(s)

within Dubravka Ilić Remove this filter

and

  1. No Access

    Chapter

    Deployment in the Space Sector

    The greatest challenges in space projects are ensuring traceability of system requirements throughout the development process and guaranteeing that they have been properly implemented, and that the overall sys...

    Dubravka Ilić, Linas Laibinis, Timo Latvala… in Industrial Deployment of System Engineerin… (2013)

  2. No Access

    Chapter and Conference Paper

    Formalisation of an Industrial Approach to Monitoring Critical Data

    A large class of safety-critical control systems contains monitoring subsystems that display certain system parameters to (human) operators. Ensuring that the displayed data are sufficiently fresh and non-corr...

    Yuliya Prokhorova, Elena Troubitsyna… in Computer Safety, Reliability, and Security (2013)

  3. No Access

    Chapter

    Formal Development of Mechanisms for Tolerating Transient Faults

    Transient faults belong to a wide-spread class of faults typical for control systems. These are the faults that only appear for a short period of time and might reappear later. However, even by appearing for a...

    Dubravka Ilić, Elena Troubitsyna… in Rigorous Development of Complex Fault-Tole… (2006)