Embedded Systems
Technical Literature
Technical Articles
- Automating the Implementation of Software Defined Radios at Northrop Grumman 851k
- Converting Models from Floating to Fixed Point for Production Code Generation 484k
- Dealing with Task Overruns 55k
- Developing High-Integrity Aircraft Approach Systems in Accordance with DO-178B Using Model-Based Design 554k
- Developing In-Vehicle Traffic Jam Alleviation Technology for Android Using Simulink 1316k
- EUtech Scientific Engineering entwickelt eine Regelung für ein Brennstoffzellensystem 1043k
- MATLAB and Simulink in the World: Verification and Validation 222k
- MATLAB and Simulink in the World: Verifikation und Validierung 230k
- Maximierung der Codeperformance durch Optimierung des Speicherzugriffs 705k
- Northrop Grumman automatisiert die Implementierung von Software Defined Radios 812k
- Polyspace Software Quality Objectives (SQO) Version 3.0 860k
- Removing Run-Time Errors from AUTOSAR Components Using Polyspace Code 619k
- University of Adelaide Undergraduates Design, Build, and Control an Electric Diwheel Using Model-Based Design 1092k
- Verifikation von Code mit hohen Anforderungen an die Zuverlässigkeit 612k
- Verifying Code When Software Reliability is Critical 663k
Conference/Academic Papers
- AIAA 2005: Software Development Principles Applied to Graphical Model Development 699k
- AIAA 2006: Flight Code Generation with Integrated Static Run-Time Error Checking 220k
- AIAA 2010: Integrating Generated Code with Other Simulation Environments 1288k
- Convergence 2008: Model-Based Design for Safety-Related Applications 168k
- Embedded Steer-by-Wire System Development 281k
- ERTS 2012: Verification and Validation According to ISO 26262 428k
- ISSRE 2010: ISO 26262 Tool Qualification - An Experience Report 538k
- MADC 2008: Thales Dual Core Code Generation 817k
- MBEES 2010: Model-Based Design for IEC 62304 Medical Devices 192k
- MBEES 2010: Qualifying Software Tools According to ISO 26262 360k
- MBEES 2012: Automating Code Reviews with Simulink Code Inspector 381k
- SAE 2004: Multi-Target Modelling for Embedded Software Developement for Automotive Applications 223k
- SAE 2007: Automatic Code Generation for Commercial Vehicles with John Deere 506k
- SAE 2008: Development of AUTOSAR Software Components within Model-Based Design 272k
- SAE 2008: Float- to Fixed-Point ECU Development 442k
- SAE 2008: Model-Based Design for Hybrid Electric Vehicle Systems 577k
- SAE 2008: Model-Based Design of a SUV Anti-Rollover Control System 637k
- SAE 2009: Target Optimized Code 310k
- SAE 2011: AIPL On-Target Rapid Prototyping 420k
- SAE 2011: ISO 26262 Tool Qualification 182k
- SAE 2012: Robustness of Calibration-Based Computation 693k
- SAE 2012: Round Trip Engineering and V&V for AUTOSAR 625k
- SAE CVEC 2008 - Applying Model-Based Design to Commercial Vehicle Electronics Systems 481k
- SimTest 2010: Code Generation Verification 189k
User Stories
- Aalborg University User Story 328k
- Alcatel-Lucent User Story 256k
- ATB Technologies User Story 195k
- BAE Systems Surface Ships User Story 284k
- CN: Dongfeng Motor Company User Story 1012k
- Continental User Story 531k
- Festo User Story 266k
- General Motors Engineering Europe User Story 174k
- INCOVA Technologies User Story 235k
- Iveco User Story 442k
- JP: Fujitsu Laboratories User Story 456k
- Mazda User Story 411k
- Mitsuba User Story 213k
- OHB User Story 341k
- SAIC Motor Corporation User Story 374k
- Tata Motors User Story 343k
- Technische Universität München User Story 306k
- University of Waterloo User Story 242k
- Weinmann Medical Technology User Story 412k