Back to Results
First PageMeta Content
Software bugs / Abstract interpretation / Astrée / Embedded systems / Program analysis / Cross-platform software / Worst-case execution time / TargetLink / Static program analysis / Computing / Software engineering / Computer programming


www.dspace.com Safely Excluding Serious Errors Translation of “Schwere Fehler sicher ausschließen” Published at: Elektronik Automotive
Add to Reading List

Document Date: 2014-11-19 10:20:55

Open Document

File Size: 2,47 MB

Share Result on Facebook

City

Tokyo / Las Vegas / Integrating Model / /

Company

AbsInt Angewandte Informatik GmbH / dSPACE GmbH / dSPACE Ltd. / bsInt GmbH. / Embedded Computing Systems / SPACE GmbH / Toyota / Canada dSPACE Mechatronic Control Technology (Shanghai) Co. / Safety-Critical Systems / Embedded Real Time Software / China Japan USA / dSPACE Inc. / United Kingdom France dSPACE GmbH / dSPACE SARL / /

Country

Germany / United States / /

/

Event

Man-Made Disaster / /

Facility

Gotenyama Trust Tower / Company Headquarters / Harbour Ring Plaza / /

/

IndustryTerm

large software projects / model-based software development / automatic tool chain / modeled software / verification tools / avionics software / target processor / static software verification / productionlevel product applications / system software specification / nonfunctional software properties / real-time requirements / software architectures / software properties / /

Organization

US court / Congress / World Congress / /

Person

Carsten Rustemeier / Daniel Kästner / /

/

Position

Product Engineer TargetLink / Chief Technical Officer / unified lattice model for static analysis / /

Product

Toyota Camry / /

ProgrammingLanguage

MATLAB / Stateflow / C / HTML / XML / Simulink / /

TVStation

WCET / /

Technology

XML / HTML / embedded target processor / target processor / Simulation / /

URL

http /

SocialTag