• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book chapter

Программный комплекс проектирования и анализа программно-аппаратных систем на основе архитектурных моделей

С. 202-208.

The paper examines the functional requirements and the basic architecture of the tools supporting model-oriented techniques for design of safety critical software/hardware systems. The best practices of development such systems are described in international standards like ARP-4754, ARP-4761, and DO-178. The proposed approach is built around architecture models expressed in AADL language and its extensions.