Back to Results
First PageMeta Content
Formal sciences / Automata theory / Digital electronics / Models of computation / Finite-state machine / Traffic collision avoidance system / Formal methods / Software design / Software development process / Software development / Technology / Software


Document Date: 2012-04-10 10:17:12

Open Document

File Size: 2,30 MB

Share Result on Facebook

City

Irvine / /

Company

Irvine Safety Research Group / TCAS I / /

Country

United States / /

Currency

USD / /

/

Facility

University of Washington / University of Califomia / Wt /

IndustryTerm

process control systems / software design / aircraft collision avoidance systems / fundamental chemical / software requirements specification languages / it possible to model real systems / on-board devices / reactive systems / software requirements model / software engineers / real software / airframe manufacturers / chemical process / safety-critical systems / software developers / software requirements / software designs / process-control systems / airline representatives / airborne devices / orthogonal products / software blackbox behavior / software requirements analysis process / analog devices / software development / software systems / e-” / energy / software requirements validation techniques / /

Organization

Federal Aviation Administration / Michigan State University / National Science Foundation / University of Califomia / Information and Computcr Science Department / National Aeronautics and Space Administration / University of Washington / Seattle / Department of Computer Science and Engineering / Computer Science Department / /

Person

Jon Damon Reese / H. Hildreth / Nancy G. Leveson / Holly Hildreth / /

Position

general control problem / Black-box controller / analyst / model / formal analysis / head / controller / /

Product

A-7 / /

ProvinceOrState

California / /

PublishedMedium

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING / /

Technology

process control system / Process control / /

SocialTag