Sign for Notice Everyday    Sign Up| Sign In| Link| English|
Home Post Event 2025Event 2026Event By Topic By Country Contact

Our Sponsors


    CRTS 2011 - 4th Workshop on Compositional Theory and Technology for Real‐Time Embedded Systems

    View: 4854

    Website www.rapitasystems.com/crts2011 | Want to Edit it Edit Freely

    Category CRTS 2011

    Deadline: September 16, 2011 | Date: November 29, 2011

    Venue/Country: Vienna, Austria

    Updated: 2011-08-20 23:47:20 (GMT+9)

    Call For Papers - CFP

    Topics of interest: The increasing complexity of real‐time embedded systems requires advanced methodologies that can reduce the cost of their design and analysis, while ensuring that requirements on functional correctness, real‐ time behaviour, and performance are met. Compositional theories and technologies facilitate the decomposition of a complex system into components, as well as their integration via interfaces. Component interfaces hide the internal details of the components, thereby reducing integration complexity. A system is said to be composable if the properties established and validated for components in isolation hold once the components are integrated to form the system.

    Topics of interest to CRTS include

    (but are not limited to):

    Composition of single processor, multiprocessor, and distributed systems

    Composition of multi‐criticality and multi‐mode systems

    Composition of policies, services, and system layers

    Composition of validation and verification techniques

    Interface models, interface theories, and integration techniques for real‐time components

    Compositional schedulability analysis, execution time analysis, and performance analysis

    Compositional formal methods

    Tradeoffs between optimality, associativity, and complexity in compositional theory

    Practical issues in composition including performance penalties and overheads

    Experimental and implementation frameworks for compositional theory

    Decomposition of requirements for component‐based development

    CRTS invites papers that describe state‐of‐the‐art research, present work‐in‐progress, or suggest open problems covering one or more of the topics of interest to the workshop. Submissions should not exceed 8 pages in two‐ column, single‐space, 10pt format, and should be made electronically via: https://www.softconf.com/c/crts2011/

    Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
    Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.