160
views
0
recommends
+1 Recommend
1 collections
    4
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Modeling and Verification of Real-Time Embedded Systems

      Third International Symposium on Innovation and Information and Communication Technology (ISIICT 2009) (ISIICT)

      Innovation and Information and Communication Technology (ISIICT 2009)

      15 - 17 December 2009

      Real-Time Embedded Systems, Modeling and Verification, Timed Automata, Scheduling

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          In this paper, we present an approach for the analysis of real-time embedded systems. The analysis is based on the verification of the schedulability of tasks in addition to the verification of requirements on the overall system. The real-time embedded system is interacting with an environment composed essentially from a plant and other computerized software. In our approach we identify the behaviour of the plant using observed output from a simulation or from a real system. This measured/observed output will be used to model the behaviour of the plant. The specification of tasks controlling the plant will be integrated to this model. At the end, a model representing the scheduler will be composed with the plant models to get an overall system model which will be used for analysis. We have used the formalism of timed automata extended to specify tasks and scheduling which are implemented within a tool called “TIMES” for real-time model checking.

          Related collections

          Author and article information

          Contributors
          Conference
          December 2009
          December 2009
          : 58-66
          Affiliations
          Computer Science Department, University of M’Sila, Algeria
          Article
          10.14236/ewic/ISIICT2009.6
          © Mustapha BOURAHLA et al. Published by BCS Learning and Development Ltd. Third International Symposium on Innovation and Information and Communication Technology (ISIICT 2009), Philadelphia University, Amman, Jordan

          This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

          Third International Symposium on Innovation and Information and Communication Technology (ISIICT 2009)
          ISIICT
          3
          Philadelphia University, Amman, Jordan
          15 - 17 December 2009
          Electronic Workshops in Computing (eWiC)
          Innovation and Information and Communication Technology (ISIICT 2009)
          Product
          Product Information: 1477-9358BCS Learning & Development
          Self URI (journal page): https://ewic.bcs.org/
          Categories
          Electronic Workshops in Computing

          Comments

          Comment on this article