MIT Press / Las Vegas NV / Sandia Labs / HumanIntensive Systems / Japan Manned Space Systems Corporation / / /
Event
Product Issues / /
Facility
Massachusetts Institute of Technology / Urban Bldg. / /
IndustryTerm
mode-rich systems / control algorithm / spacecraft software / space systems / accidents involving software / sub-systems / human operators / active microwave sensor devices / earth observation satellite / /
Organization
Japan Aerospace Exploration Agency / H.2 H.2 H.2 Mission / Satellite Bus Power Command / Massachusetts Institute of Technology / Payload Power Command / /
Person
Yuko Miyamoto / John Thomas / Nancy Leveson / Sensor / Cody Fleming / Nobuyuki Hoshino / / /
Position
supervisor / representative / Station Controller / controller / /
SAFETY GUIDED SPACECRAFT DESIGN USING MODEL-BASED SPECIFICATIONS Cody Fleming(1), Takuto Ishimatsu(1), Yuko Miyamoto(2), Haruka Nakao(3) , Masa Katahira(2), Nobuyuki Hoshino(3), John Thomas(1) , Nancy Leveson(1), (1) Ma