<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:community="http://www.bibsonomy.org/ontologies/2008/05/community#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:admin="http://webns.net/mvcb/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:cc="http://web.resource.org/cc/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:swrc="http://swrc.ontoware.org/ontology#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xml:base="https://puma.ub.uni-stuttgart.de/tag/optimisation_algorithm%20computers%20computational_modeling"><owl:Ontology rdf:about=""><rdfs:comment>PUMA publications for /tag/optimisation_algorithm%20computers%20computational_modeling</rdfs:comment><owl:imports rdf:resource="http://swrc.ontoware.org/ontology/portal"/></owl:Ontology><rdf:Description rdf:about="https://puma.ub.uni-stuttgart.de/bibtex/29cb159f22e8604b52c370f39b4b4a1ec/bastianluettig"><owl:sameAs rdf:resource="/uri/bibtex/29cb159f22e8604b52c370f39b4b4a1ec/bastianluettig"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Book"/><owl:sameAs rdf:resource="https://ieeexplore.ieee.org/abstract/document/6096123"/><swrc:date>Mon Jan 20 14:28:26 CET 2020</swrc:date><swrc:address>Seattle</swrc:address><swrc:booktitle>IEEE/AIAA 30th Digital Avionics Systems Conference (DASC)</swrc:booktitle><swrc:month>Oct</swrc:month><swrc:pages>7C3-1-7C3-9</swrc:pages><swrc:title>Automatic Safety Computation for IMA Systems</swrc:title><swrc:year>2011</swrc:year><swrc:keywords>Aerospace_electronics Atmospheric_modeling Computational_modeling Computers Hardware IMA_systems InProceedings Redundancy Safety aerospace_safety aircraft_manufacturers automatic_safety_computation avionics ils integrated_modular_avionics_design_philosophy optimisation optimisation_algorithm safety_requirements </swrc:keywords><swrc:abstract>During the last years, the integrated modular avionics (IMA) design philosophy became widely established at aircraft manufacturers, giving rise to a series of new design challenges, most notably the allocation of avionics functions to the various IMA components and the placement of this equipment in the aircraft. This paper presents a modelling approach for avionics that allows for automatic computation of the safety of large and heavily interdependent systems, and shall help to quickly evaluate candidate system configurations during early and intermediate design. It is part of a project striving to automatise some steps of the design process by applying an optimisation algorithm which searches for system configurations that fulfil the safety requirements and have low costs.</swrc:abstract><swrc:hasExtraField><swrc:Field swrc:value="InProceedings" swrc:key="groups"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="10.1109/DASC.2011.6096123" swrc:key="doi"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="U. {Salomon}"/></rdf:_1><rdf:_2><swrc:Person swrc:name="R. {Reichel}"/></rdf:_2></rdf:Seq></swrc:author></rdf:Description><foaf:Group rdf:about="https://puma.ub.uni-stuttgart.de/tag/optimisation_algorithm%20computers%20computational_modeling"><foaf:name>optimisation_algorithm computers computational_modeling</foaf:name><description>Community for tag(s) optimisation_algorithm computers computational_modeling</description></foaf:Group></rdf:RDF>