Publication | Closed Access

InRob: An approach for testing interoperability and robustness of real-time embedded software

Software MaintenanceReal-time SystemEngineeringSystem TestingProgram AnalysisReal-time Operating SystemSoftware TestingComputer EngineeringSoftware AnalysisSoftware EngineeringSystems EngineeringReal-time ComputingReal-time SystemsEmbedded SystemsFormal VerificationSystem SoftwareSoftware DesignEmbedded Operating System