Building Safe and Secure Systems with AADL

Sponsored in part by the Department of Defense. The original document contains color images.

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Delange, Julien
Format:	Report
Sprache:	eng
Schlagworte:	AADL(ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE) BEHAVIOR COMPUTER NETWORK SECURITY Computer Programming and Software Computer Systems Management and Standards DATA ACQUISITION ENERGY CONSUMPTION ERROR ANALYSIS ERROR PROPAGATION FAULT DETECTION INFORMATION ASSURANCE KNOWLEDGE MANAGEMENT MODELING PATTERNS NETWORK ARCHITECTURE OPERATING SYSTEMS(COMPUTERS) PERFORMANCE(ENGINEERING) SEMANTICS SOFTWARE TOOLS SYSTEMS ENGINEERING VALIDATION VALIDATION TOOLS
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page
container_issue
container_start_page
container_title
container_volume
creator	Delange, Julien
description	Sponsored in part by the Department of Defense. The original document contains color images.
format	Report
fullrecord	<record><control><sourceid>dtic_1RU</sourceid><recordid>TN_cdi_dtic_stinet_ADA617268</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>ADA617268</sourcerecordid><originalsourceid>FETCH-dtic_stinet_ADA6172683</originalsourceid><addsrcrecordid>eNrjZNByKs3MScnMS1cITkxLVUjMS1EITk0uLUpVCK4sLknNLVYozyzJUHB0dPHhYWBNS8wpTuWF0twMMm6uIc4euiklmcnxxSWZeakl8Y4ujmaG5kZmFsYEpAExSiUW</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>report</recordtype></control><display><type>report</type><title>Building Safe and Secure Systems with AADL</title><source>DTIC Technical Reports</source><creator>Delange, Julien</creator><creatorcontrib>Delange, Julien ; CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST</creatorcontrib><description>Sponsored in part by the Department of Defense. The original document contains color images.</description><language>eng</language><subject>AADL(ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE) ; BEHAVIOR ; COMPUTER NETWORK SECURITY ; Computer Programming and Software ; Computer Systems Management and Standards ; DATA ACQUISITION ; ENERGY CONSUMPTION ; ERROR ANALYSIS ; ERROR PROPAGATION ; FAULT DETECTION ; INFORMATION ASSURANCE ; KNOWLEDGE MANAGEMENT ; MODELING PATTERNS ; NETWORK ARCHITECTURE ; OPERATING SYSTEMS(COMPUTERS) ; PERFORMANCE(ENGINEERING) ; SEMANTICS ; SOFTWARE TOOLS ; SYSTEMS ENGINEERING ; VALIDATION ; VALIDATION TOOLS</subject><creationdate>2015</creationdate><rights>Approved for public release; distribution is unlimited.</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>230,780,885,27567,27568</link.rule.ids><linktorsrc>$$Uhttps://apps.dtic.mil/sti/citations/ADA617268$$EView_record_in_DTIC$$FView_record_in_$$GDTIC$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>Delange, Julien</creatorcontrib><creatorcontrib>CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST</creatorcontrib><title>Building Safe and Secure Systems with AADL</title><description>Sponsored in part by the Department of Defense. The original document contains color images.</description><subject>AADL(ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE)</subject><subject>BEHAVIOR</subject><subject>COMPUTER NETWORK SECURITY</subject><subject>Computer Programming and Software</subject><subject>Computer Systems Management and Standards</subject><subject>DATA ACQUISITION</subject><subject>ENERGY CONSUMPTION</subject><subject>ERROR ANALYSIS</subject><subject>ERROR PROPAGATION</subject><subject>FAULT DETECTION</subject><subject>INFORMATION ASSURANCE</subject><subject>KNOWLEDGE MANAGEMENT</subject><subject>MODELING PATTERNS</subject><subject>NETWORK ARCHITECTURE</subject><subject>OPERATING SYSTEMS(COMPUTERS)</subject><subject>PERFORMANCE(ENGINEERING)</subject><subject>SEMANTICS</subject><subject>SOFTWARE TOOLS</subject><subject>SYSTEMS ENGINEERING</subject><subject>VALIDATION</subject><subject>VALIDATION TOOLS</subject><fulltext>true</fulltext><rsrctype>report</rsrctype><creationdate>2015</creationdate><recordtype>report</recordtype><sourceid>1RU</sourceid><recordid>eNrjZNByKs3MScnMS1cITkxLVUjMS1EITk0uLUpVCK4sLknNLVYozyzJUHB0dPHhYWBNS8wpTuWF0twMMm6uIc4euiklmcnxxSWZeakl8Y4ujmaG5kZmFsYEpAExSiUW</recordid><startdate>20150215</startdate><enddate>20150215</enddate><creator>Delange, Julien</creator><scope>1RU</scope><scope>BHM</scope></search><sort><creationdate>20150215</creationdate><title>Building Safe and Secure Systems with AADL</title><author>Delange, Julien</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-dtic_stinet_ADA6172683</frbrgroupid><rsrctype>reports</rsrctype><prefilter>reports</prefilter><language>eng</language><creationdate>2015</creationdate><topic>AADL(ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE)</topic><topic>BEHAVIOR</topic><topic>COMPUTER NETWORK SECURITY</topic><topic>Computer Programming and Software</topic><topic>Computer Systems Management and Standards</topic><topic>DATA ACQUISITION</topic><topic>ENERGY CONSUMPTION</topic><topic>ERROR ANALYSIS</topic><topic>ERROR PROPAGATION</topic><topic>FAULT DETECTION</topic><topic>INFORMATION ASSURANCE</topic><topic>KNOWLEDGE MANAGEMENT</topic><topic>MODELING PATTERNS</topic><topic>NETWORK ARCHITECTURE</topic><topic>OPERATING SYSTEMS(COMPUTERS)</topic><topic>PERFORMANCE(ENGINEERING)</topic><topic>SEMANTICS</topic><topic>SOFTWARE TOOLS</topic><topic>SYSTEMS ENGINEERING</topic><topic>VALIDATION</topic><topic>VALIDATION TOOLS</topic><toplevel>online_resources</toplevel><creatorcontrib>Delange, Julien</creatorcontrib><creatorcontrib>CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST</creatorcontrib><collection>DTIC Technical Reports</collection><collection>DTIC STINET</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Delange, Julien</au><aucorp>CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST</aucorp><format>book</format><genre>unknown</genre><ristype>RPRT</ristype><btitle>Building Safe and Secure Systems with AADL</btitle><date>2015-02-15</date><risdate>2015</risdate><abstract>Sponsored in part by the Department of Defense. The original document contains color images.</abstract><oa>free_for_read</oa></addata></record>
fulltext	fulltext_linktorsrc
identifier
ispartof
issn
language	eng
recordid	cdi_dtic_stinet_ADA617268
source	DTIC Technical Reports
subjects	AADL(ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE) BEHAVIOR COMPUTER NETWORK SECURITY Computer Programming and Software Computer Systems Management and Standards DATA ACQUISITION ENERGY CONSUMPTION ERROR ANALYSIS ERROR PROPAGATION FAULT DETECTION INFORMATION ASSURANCE KNOWLEDGE MANAGEMENT MODELING PATTERNS NETWORK ARCHITECTURE OPERATING SYSTEMS(COMPUTERS) PERFORMANCE(ENGINEERING) SEMANTICS SOFTWARE TOOLS SYSTEMS ENGINEERING VALIDATION VALIDATION TOOLS
title	Building Safe and Secure Systems with AADL
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-27T07%3A50%3A48IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-dtic_1RU&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=unknown&rft.btitle=Building%20Safe%20and%20Secure%20Systems%20with%20AADL&rft.au=Delange,%20Julien&rft.aucorp=CARNEGIE-MELLON%20UNIV%20PITTSBURGH%20PA%20SOFTWARE%20ENGINEERING%20INST&rft.date=2015-02-15&rft_id=info:doi/&rft_dat=%3Cdtic_1RU%3EADA617268%3C/dtic_1RU%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true