Home
Add Document
Sign In
Create An Account
Advancing Embedded Systems Best Practice
Advancing Embedded Systems Best Practice MetaH Honeywell DSSA Simplex Dependable Upgrade Sha RMA Lehoczky Klein HOOD STOOD MetaH Error Model Honey...
Author:
Lorin Shaw
0 downloads
2 Views
361KB Size
Report
Download PDF
Recommend Documents
best practice Safety management systems Industry best practice
Embedded Systems
Embedded Systems
Embedded Systems
Embedded Systems
Embedded Systems
Embedded Systems
EMBEDDED SYSTEMS
Best Practice Best Foam!
Embedded CASE Tool Systems Embedded Control Solutions
Hardware Design for Embedded Systems Embedded Systems Engineering WS10
Embedded Systems Development II
Embedded Systems and Software
Introduction to Embedded Systems
Embedded Systems. version 5.6
Manufacturing & embedded systems
Security in Embedded Systems
Embedded Systems Practical
Embedded systems Addressing modes
Educating Embedded Systems Hackers
Microcontroller in Embedded Systems
EFFECTIVE EMBEDDED SYSTEMS SOFTWARE
Report Embedded Systems
GCC for Embedded Systems
Advancing Embedded Systems Best Practice MetaH Honeywell DSSA
Simplex Dependable Upgrade Sha
RMA Lehoczky Klein
HOOD STOOD
MetaH Error Model Honeywell
Automotive
ACME Garlan EDCS
GME VanderBilt MoBIES
Eclipse EMF
SAE AADL Standard Nov 2004
Embedded Systems Research
Medical
OSATE Toolset SEI
Aerospace
AADL UML Profile Std 2007
AADL Meta Model & XMI June 2006
Avionics
MBE
AADL Error Annex Standard June 2006
Industrial Initiatives
Industrial Projects
Unmanned Vehicles
Aerospace
Industrial Tools Avionics
Industry Standards
Automotive
SAE AADL: International Industry Standard for Embedded Systems
Impact Through Industrial Standards OSEK Evaluation Rajkumar Feiler MoBIES
OSEK Real-time OS API
Automotive ARINC653 AADL Study Honeywell SEI AMRDEC EADS Astrium
MBE SAE AADL Standard Nov 2004 AADL Meta Model & XMI June 2006 AADL Error Annex Standard June 2006 AADL UML Profile Std 2007
OMG XMI
AutoSAR
OMG UML2
ARINC653 Standard
SAE AADL AS-2C
NATO ALWI Study EADS General Dynamics Kennedy-Carter SEI/AMRDEC
Aerospace Avionics
SAE AS1 NATO G97 Weapons Integration Unmanned Vehicles SAE AS4 Unmanned Systems JAUS WG
OMG MARTE
Industrial Embedded Systems Initiatives USCar Consortium Ford GM Chrysler CMU 2007OpenGroup Real-Time Forum EU + US partners
TOPCASED Open Source Embedded Systems Tool Framework 28 partners €20+M 2005-2008
MBE SAE AADL Standard Nov 2004
Not Started
Started
IST ARTIST2 Embedded Systems Center of Excellence 2007-2011
AADL Meta Model & XMI June 2006 AADL Error Annex Standard June 2006
EAST ADL Consortium AutoSAR
COTRE Aviation Systems 2002-2004
OSATE Toolset SEI
AADL UML Profile Std 2007
IST ARTIST Embedded Systems 2001-2006
Automotive
Eclipse Embedded Systems Avionics
ITEA SPICES Model-Driven Embedded Systems Engineering 15 partners €16M 2006-2009 US AVSI Avionics Consortium Analysis-based System Validation 8 partners $12+M 2007-2010
ESA Satellite Architectures 2002-2004
EC ASSERT Proof-based Satellite Architectures ESA + 30 partners €15M 2004-2007 Aerospace
Impact on Industrial Projects & Tools CAAS Rockwell AMRDEC
F18 Navy
F16 LM/CMU RMA Lehoczky Klein
Pattern-based AADL Analysis Feiler Lewis SEI AMRDEC
TimeWiz TimeSys Rajkumar
MBE
AADL/UML Rhapsody
OSATE Toolset SEI
STOOD/AADL ElliDiss
Sensornets Eaton
Netcentric Systems Sagem
Netcentric
Civil & Military Avionics Honeywell Weapons Integration 21st Century Satellite Flight System Astrium
ARH AMRDEC
Apache AMRDEC
Partitioned Architectures Fault Mgnt/Latency Feiler Hansson Sha SEI UIUC
RapidRMA TriPacific
SAE AADL Standard Nov 2004
F22/F35 LM/UIUC
SSIV AVSI Avionics
MILS FPGA Rockwell
Confidentiality In AADL Feiler Hansson
EuroFighter EADS
xUML-AADL Translator Kennedy-Carter
Mission System Dassault
Weapons Integration General Dynamics
Satellite Family ESA
Sporadic server RTQT Klein PACC Robotics
ABB SVM SADL Krogh Feiler MoBIES Emmeskay
Toyota
Aerospace
Robotics Task Planning Robotics Institute AADL/MSR Study Feiler Bosch
Unmanned Vehicles
Automotive
Collaborative Embedded Systems Research Sporadic server RTQT Klein PACC
RTQT Lehoczky DASADA
QRAM Rajkumar EDCS
Dynamic QRAM Rajkumar Feiler DASADA
Resource Management RMA Lehoczky Klein
INSERT/Simplex Sha Lehoczky Klein Feiler EDCS
Simplex Dependable Upgrade Sha
MetaH/Acme Feiler AMRDEC
MetaH Vestal Honeywell Slack Stealer In MetaH Vestal Binns Honeywell
OSATE Binpacker RMA ARINC653 Feiler DeNiz
Model Validation
Partitioned Architectures
Alloy-based Architecture Verification DeNiz Garlan SEI SCS
Alloy Verification Jackson (MIT)
AADL Latency ARINC653 Feiler Hansson
MBE SAE AADL Standard Nov 2004
Aging in Asynchronous Architectures Vestal Honeywell
Runtime System Verification Hybrid Automata Vestal Honeywell
Predictable Caching In Embedded Systems Feiler Hansson DeNiz
QRAM/RMA Feiler
Configuration Consistency Krogh Feiler Li EDCS
TimeWeaver Rajkumar MoBIES
OSATE Toolset SEI
AADL Error Annex Standard June 2006
Runtime System Runtime System Verification Generation & Verification Reliability AADL/PetriNet Fault Tree ENST (Paris) Vestal Runtime System Honeywell Code Verification Verimag/IRIT
Formalized AADL Temporal Semantics IRIT (Toulouse)
Resource Scheduling Singhoff (Brest) Network Calculus Vestal Honeywell
Process algebra ACSR Sokolsky (U.Penn)
Wireless Security ISIS Vanderbilt
Sensornet Resources ANDES Stankovic Son UVA
Security
Dependability Reliability Reliability Analysis Modeling GSPN Mobius LAAS UIUC
Confidentiality In AADL Feiler Hansson SEI IR&D
Reliability Analysis Markov Embry-Riddle
System Fault Impact Feiler Sha SEI UIUC
Fault Propagation FPTC Wallace (York U.)
Color Code Border Color Project Type Research
Fill Color Effort Lead CMU SEI
Industrial Project Industrial Initiative Standard Tools SEI
Research Institution
Standard Group Industry Shaded: MultiOrganization
Suggest Documents
best practice Safety management systems Industry best practice
Read more
Embedded Systems
Read more
Embedded Systems
Read more
Embedded Systems
Read more
Embedded Systems
Read more
Embedded Systems
Read more
Embedded Systems
Read more
EMBEDDED SYSTEMS
Read more
Best Practice Best Foam!
Read more
Embedded CASE Tool Systems Embedded Control Solutions
Read more
Hardware Design for Embedded Systems Embedded Systems Engineering WS10
Read more
Embedded Systems Development II
Read more
Embedded Systems and Software
Read more
Introduction to Embedded Systems
Read more
Embedded Systems. version 5.6
Read more
Manufacturing & embedded systems
Read more
Security in Embedded Systems
Read more
Embedded Systems Practical
Read more
Embedded systems Addressing modes
Read more
Educating Embedded Systems Hackers
Read more
Microcontroller in Embedded Systems
Read more
EFFECTIVE EMBEDDED SYSTEMS SOFTWARE
Read more
Report Embedded Systems
Read more
GCC for Embedded Systems
Read more
×
Report "Advancing Embedded Systems Best Practice"
Your name
Email
Reason
-Select Reason-
Pornographic
Defamatory
Illegal/Unlawful
Spam
Other Terms Of Service Violation
File a copyright complaint
Description
×
Sign In
Email
Password
Remember me
Forgot password?
Sign In
Login with Google
Login with Facebook