Tools for System Design of Integrated Modular Avionics

Tools for System Design of Integrated Modular Avionics

Growth of modern avionics systems makes design of such systems impossible without involvement of automation. Nowadays an area of such tools is represented by both the proprietary tools developed by the major aircraft manufacturers like Boeing and Airbus, and a number of open or partially open intern...

Full description

Bibliographic Details
Main Authors:	D. V. Buzdalov, S. V. Zelenov, E. V. Kornykhin, A. K. Petrenko, A. V. Strakh, A. A. Ugnenko, A. V. Khoroshilov
Format:	Article
Language:	English
Published:	Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Series:	Труды Института системного программирования РАН
Subjects:	интегрированная модульная авионика има моделирование систем aadl
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/773

Similar Items

Design and architecture of real-time operating system
by: K. M. Mallachiev, et al.
Published: (2018-10-01)

On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks
by: Alevtina B. Glonina, et al.
Published: (2018-04-01)

Extracting architectural information from source code of ARINC 653-compatible application software using CEGAR-based approach
by: S. L. Lesovoy
Published: (2018-10-01)

Linux OS integrated modular avionics application development framework with apex API of ARINC653 specification
by: Anna V. Korneenkova, et al.
Published: (2017-02-01)

Certifiable onboard real-time operation system JetOS for Russian aircrafts design
by: Yu. A. Solodelov, et al.
Published: (2018-10-01)

A static approach to estimation of execution time of components in AADL models
by: A. M. Troitskiy, et al.
Published: (2018-10-01)

Python-based constraint language for architecture models
by: E. . Kornykhin, et al.
Published: (2018-10-01)

Automation of scheduling for periodic real-time systems
by: A. V. Tretyakov
Published: (2018-10-01)

PROBLEMS AND SPECIFICS OF FOREIGN MADE AIRCRAFT AVIONICS SYSTEMS OPERATION IN THE EXTREMELY LOW TEMPERATURE CONDITION OF SIBERIA, YAKUTIA AND NOTHERN REGIONS
by: V. P. Gorbunov
Published: (2016-11-01)

PROCESS OF CHANGES OF MAINTENANCE-FREE ONBOARD SYSTEM OPERATIONAL STATUS BETWEEN SCHEDULED MAINTENANCES
by: A. M. Bronnikov, et al.
Published: (2017-03-01)

PROCESSES AND SYSTEMS of avionics technical operation as Markov chais MATHEMATICAL MODELS
by: S. V. Kuznetsov
Published: (2016-11-01)

On representation of simulation time in functional programming style
by: D. V. Buzdalov, et al.
Published: (2019-02-01)

PROCESSES AND SYSTEMS of avionics technical operation as Markov AND Semimarkov processes MATHEMATICAL MODELS
by: S. V. Kuznetsov
Published: (2016-11-01)

Scheduling of Strictly Periodic Tasks in Real-Time Systems
by: S. V. Zelenov
Published: (2018-10-01)

TECHNICAL MAINTENANCE EFFICIENCY OF THE AIRCRAFT MAINTENANCE-FREE ON-BOARD SYSTEM BETWEEN SCHEDULED MAINTENANCES
by: A. M. Bronnikov
Published: (2018-01-01)

AVIONICS TECHNICAL OPERATION SYSTEM AND SCIENTIFIC BASIS FOR ITS FORMATION
by: S. V. Kuznetsov
Published: (2018-01-01)

Development of Interface Device for Modular Agricultural Robotic Platform
by: K. D. Krestovnikov, et al.
Published: (2022-03-01)

Prototype of an integrated software platform for tracking computer simulations to solve complex problems of mathematical modeling
by: M. P. Galanin, et al.
Published: (2018-10-01)

MATHEMATICAL MODELS OF PROCESSES AND SYSTEMS OF TECHNICAL OPERATION FOR ONBOARD COMPLEXES AND FUNCTIONAL SYSTEMS OF AVIONICS
by: S. V. Kuznetsov
Published: (2017-03-01)

On the Hereditary Properties of Modular Nets
by: V. A. Bashkin
Published: (2015-03-01)

On the Hereditary Properties of Modular Nets
by: V. A. Bashkin
Published: (2012-01-01)

TWO-DIMENSIONAL MATHEMATICAL MODELING OF IEF BY FREEFEM++ INTEGRATED DEVELOPMENT ENVIRONMENT
by: Lyudmila V. Sakharova
Published: (2011-06-01)

Clinical and anatomical substantiation of application of modular femoral neck components in primary total hip arthroplasty
by: K A Ptitsyn, et al.
Published: (2015-12-01)

Scientific and pedagogical schools «System analysis in engineering and control» and its contribution to educational the process of universities
by: Yuriy S. Vasil’ev, et al.
Published: (2018-03-01)

Application of the multidimensional statistical analysis in the development of an integrated safety management system in an aircraft maintenance organization
by: N. V. Aseev, et al.
Published: (2021-11-01)

A Modeling Method of Agents and SOA in Advanced Avionics System Based on AADL
by: Pingyu Deng, et al.
Published: (2022-08-01)

A method of describing a modular information and measurement system based on the CANopen protocol, taking into account intermodule information links
by: D. A. Plotnikov, et al.
Published: (2023-10-01)

PROFESSIONALLY ORIENTED TRAINING OF TEACHERS OF SECONDARY GENERAL EDUCATION IN THE MODULAR MAGISTRACY
by: S G Grigoriev, et al.
Published: (2015-12-01)

Architectural Software-Hardware Co-Modeling a Real-World Cyber-Physical System: Arduino-Based ArduPilot Case
by: Sergey Staroletov
Published: (2021-10-01)

Enterprise Restructuring Based on Modeling the Economic Responsibility of Its Divisions
by: A. V. Zagranovskaia, et al.
Published: (2021-10-01)

Updating parameters of an information model for road construction flow in work development project
by: T. V. Bobrova
Published: (2023-01-01)

Statistics on the Industry Structure of the Russian Economy and its Optimization Model
by: O. V. Morozov, et al.
Published: (2021-03-01)

LETTER TO THE EDITOR REGARDING: EVOLVING BUSINESS MODELS IN ORTHOTICS BY SCHNEIDER, N.
by: Connor Pardy, et al.
Published: (2022-12-01)

Ravenscar Computational Model compliant AADL Simulation on LEON2
by: Roberto Varona-Gómez, et al.
Published: (2013-02-01)

CHARACTERISTICS OF THE INTEGRATED SYSTEM OF NAVIGATION AT COMBINATION OF DIFFERENTIAL STATION WITH THE SOURCE OF THE RADIO NAVIGATIONAL SIGNAL
by: V. V. Erokhin, et al.
Published: (2016-11-01)

IMPROVING LABOR SAFETY AT THE ENTERPRISE «BRYANSKPIVO» BY INTRODUCING ELEMENTS OF THE INTEGRATED MANAGEMENT SYSTEM
by: V.V. Novikov, et al.
Published: (2017-12-01)

Simulation-based Verification of System-on-Chip Bus Controllers
by: M. M. Chupilko, et al.
Published: (2018-10-01)

MODULAR STAGE FOR HEAVY MACHINERY ASSEMBLING AT THE INDUSTRIAL PLANTS
by: M. N. Kokoev, et al.
Published: (2016-07-01)

Organization of students’ independent work in physics on the basis of Modular Object-Oriented Dynamic Learning Environment (Moodle)
by: V. V. Blagodinova
Published: (2017-09-01)

Methods and software tools for combined binary code analysis
by: V. A. Padaryan, et al.
Published: (2018-10-01)