Integrate Mixed - Criticality Components with Formalized Architectural Patterns

اسناد مشابه

• A Model of Noninterference for Integrating Mixed-Criticality Software Components

  سند علمی۱۹۹۹Bruno Dutertre, Victoria Stavridou

  This paper examines the problem of safely integrating independent software components, of different criticality levels, in a single system. We examine the risks of interference between independent components which share common hardware resources. We propose a definition of safe i

• Formalizing Architectural Patterns with the Goal-oriented Requirement Language

  سند علمی۲۰۱۵Gunter Mussbacher, Michael Weiss, Daniel Amyot

  Many pattern descriptions put their emphasis on the solution to a problem rather than on often conflicting forces and how patterns balance such forces. This work uses the Goal-oriented Requirement Language (GRL) to formalize the forces of architectural patterns in a way that enab

• Scheduling Complex Cyber-Physical Systems with Mixed-Criticality Components

  مقاله‌ی دسترسی آزاد۲۰۲۳Systems['Jaewoo Lee', 'Keumseok Koh', '']

  Two emerging trends for designing a complex, cyber-physical systems are the component-based and mixed-criticality (MC) approaches. A approach independently develops individual components subsequently integrates them to reduce system complexity. This provides strong isolation amon

• An Integrated Mixed-Mode Neural Network Architecture for Megasynapse ANNs

  سند علمی۲۰۰۲Johannes Schemmel, Felix Schürmann, Steffen Hohmann, Karlheinz Meier

  This paper presents a new VLSI architecture for ANNs based on the combination of digital signalling and analog computing. It achieves a high level of parallelism as well as efficient area and power usage making very large networks possible. An implementation is presented combinin

• Research of an Entity-component-system architectural pattern designed with using of Data-oriented design technique

  مقاله‌ی دسترسی آزاد۲۰۱۹Journal of Computer Sciences InstituteDawidMasiukiewicz, DanielMasiukiewicz, JakubSmołka

• A Formalized Approach to Multi-View Components for Embedded Systems : Applied to Tool Integration, Run-Time Adaptivity and Architecture Exploration

  سند علمی۲۰۱۳Magnus Persson

  Development of embedded systems poses an increasing challenge for developers largely due to increasing complexity. Several factors contribute to the complexity challenge: • the number of extra-functional properties applying to embedded systems, such as resource usage, timing effe