Essays about: "extra-functional properties"

Found 4 essays containing the words extra-functional properties.

1. 1. Validation of theoretical cost model for Power and Reliability : Case study of a reliable Central Direct Memory Access system

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Sonal Shrivastava; [2021]
   Keywords : Single event upsets; Extra-functional properties; System on Chip; Mean Time Between Failure; Power consumption; Enstaka händelse störs; Extra funktionella egenskaper; System på chip; Medeltid mellan misslyckande; Energiförbrukning;

   Abstract : Safety-critical applications employed in automotive, avionics and aerospace domains are placed under strict demands for performance, power efficiency and fault tolerance. Development of system hardware and software satisfying all criteria is challenging and time-consuming. READ MORE

3. 2. Integrating formal analysis techniques into the Progress-IDE

   University essay from Akademin för innovation, design och teknik

   Author : Dinko Ivanov; [2011]
   Keywords : behavioral modeling; component-based software engineering; formal analysis; REMES; ProCom; tool-chain;

   Abstract : In this thesis we contribute to the Progress IDE, an integrated development enviroment for real-time embedded systems and more precisely to the REMES toolchain, a set of tools to enabling construction and analysis of embedded system behavior models. The contribution aims to facilitate the formal analysis of behavioral models, so that certain extra-functional properties might be verified during early stages of development. READ MORE

4. 3. Integrating formal analysis techniques into the Progress-IDE

   University essay from Akademin för innovation, design och teknik

   Author : Dinko Ivanov; [2011]
   Keywords : behavioral modeling; component-based software engineering; formal analysis; REMES; ProCom; tool-chain;

   Abstract : In this thesis we contribute to the Progress IDE, an integrated development enviroment for real-time embedded systems and more precisely to the REMES toolchain, a set of tools to enabling construction and analysis of embedded system behavior models. The contribution aims to facilitate the formal analysis of behavioral models, so that certain extra-functional properties might be verified during early stages of development. READ MORE

5. 4. An extensible attribute framework for ProCom

   University essay from Akademin för innovation, design och teknik

   Author : Petr Stepan; [2009]
   Keywords : Component-based software engineering; embedded systems; attributes; extra-functional properties;

   Abstract : This thesis is focused on the attributes concept of ProCom, a component model developed within The Progress Centre for Predictable Embedded Software Systems. Attributes are pieces of information of various types and levels of abstraction associated with the ProCom entities during the development of a system. READ MORE