Temporal Characterization of Embedded Systems Using Nexus

  title={Temporal Characterization of Embedded Systems Using Nexus},
  author={Juan Pardo and Jos{\'e} Carlos Campelo and Juan-Carlos Ruiz-Garcia and Pedro J. Gil},
  journal={2006 Sixth European Dependable Computing Conference},
Integration of commercial off-the-shelf components in real-time embedded solutions increases the necessity of verifying the temporal properties exhibited by each system component in presence of faults. To face this challenge, a trade-off must be found between the level of temporal intrusion induced in the system, and the amount of information to be gathered… CONTINUE READING