Back to Results
First PageMeta Content
Formal methods / Concurrent computing / Concurrency control / Compiler optimizations / Logic in computer science / Parallel computing / Concurrent data structure / Actor model / Automatic parallelization / Computing / Theoretical computer science / Software engineering


Verification and Semantic Parallelization of Goal-driven Autonomous Software Damian Dechev1 , Nicolas Rouquette2 , Peter Pirkelbauer1 , and Bjarne Stroustrup1 [removed], [removed], peter.pirkel
Add to Reading List

Document Date: 2012-10-03 14:24:45

Open Document

File Size: 267,28 KB

Share Result on Facebook

City

College Station / Turin / Washington / Unified Model / Pasadena / W. Visser / Boston / New York / Washington / DC / Cambridge / /

Company

Acceleration Limited / Jet Propulsion Laboratory / MIT Press / MDS Goal Networks / Martian Rover Software / Software Certification Management Systems / Embedded Software / Princeton University Press / MISSION CRITICAL AUTONOMOUS SOFTWARE / Airborne Systems / ACM Press / Temporal Constraint Networks / Addison-Wesley Longman Publishing Co. Inc. / Mars Science Laboratory / Intel / OPODIS / /

Country

Italy / United States / /

/

Facility

Texas A&M University / Mars Science Laboratory / Threading Building Blocks Library / California Institute of Technology / Jet Propulsion Laboratory / ADvantage BEACON / Temporal Constraint Network Library / ISO C++ Standard Template Library / Mission Data System’s Temporal Constraint Network Library / /

IndustryTerm

software system / constraint networks / re-certifying avionics software / software parallelization / Lock-free algorithms / real-time values / transformation tool / static analysis tool / classic solution / parallel solution / man-rated software systems / required certification protocols / sequential real-time algorithms / flight software verification / optimized iterative algorithm / software development / real-world massive-scale goal network / certification protocols / technology systems / ineffective solution / parallel propagation algorithm / autonomous flight software / concurrent software / code generation tools / software standard / real world goal network / speedup in applications / propagation algorithms / constraint network / flight software / real-time update / constraint propagation algorithm / test applications / goal network / propagation algorithm / distributed software implementations / slower flight-qualified computer hardware / concurrent applications / autonomous space systems / space software / autonomous flight systems / inconsistent network / autonomous space software / aerospace autonomous software / real-time propagation / fasterthan-real-time testing / Non-blocking algorithms / appropriate priority inversion inheritance algorithm / particular goal network / autonomous software systems / mission software / risk control systems / software certificate / concurrent and real-time software / massive real-world goal networks / experimental software development / software interactions / experimental faster-than-real-time flight software simulators / parallel algorithm / slow and cumbersome solution / actual flight hardware / verification tool / /

OperatingSystem

MAC OS / /

Organization

IN MDS / Princeton University / Mars Pathfinder mission / Texas A&M University / Mars Science Laboratory mission / NASA’s Exploration Systems Mission Directorate / Federal Aviation Administration / California Institute of Technology / MIT / Columbia Accident Investigation Board / National Aeronautics and Space Administration / IEEE Computer Society / /

Person

T. Canham / V / Tnow / Shvartsman / Kirk Reinholtz / V. Carson / V / David Wagner / /

Position

alternating forward / Forward / editor / /

Product

Alloy Analyzer / Framework / Framework Application / /

ProgrammingLanguage

Java / Object Constraint Language / XML / DC / C++ / /

ProvinceOrState

New York / Texas / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

Object-Oriented Programming / XML / system algorithms / parallel algorithm / optimized iterative algorithm / random access / operating system / shared memory / required certification protocols / 6 Time Phases Algorithm / propagation algorithm / Java / previously sequential real-time algorithms / three propagation algorithms / certification protocols / Lock-free algorithms / parallel propagation algorithm / Non-blocking algorithms / Automatic Parallelization Algorithm / constraint propagation algorithm / appropriate priority inversion inheritance algorithm / /

SocialTag