method, that has recently been deve

method, that has recently been developed for
building high assurance systems. The SCR
framework includes a formal specification notation,
a state-based formal model, and assurance methods
useful for constructing systems that must provide
critical services in a secure, safe, timely, and faulttolerant
manner. To illustrate the application of
SCR to avionics systems, this paper presents an
SCR requirements specification of a small avionics
system, introduced by Miller in [I], which powers
on a device of interest when the altitude of an
aircraft falls below a specified threshold. To
develop a specification for this system, we follow a
four-step process. This process provides a
systematic approach to developing and organizing a
requirements specification of a nontrivial system.

ผลลัพธ์ (ไทย) 1:

วิธี ที่เพิ่งได้รับการพัฒนาสำหรับสร้างระบบประกันสูง SCRกรอบมีที่แบบสัญลักษณ์รุ่นอย่างเป็นทางโดยรัฐ และวิธีการประกันมีประโยชน์สำหรับการสร้างระบบที่ต้องให้บริการที่สำคัญในการทาง ปลอดภัย รวดเร็ว และ faulttolerantลักษณะการ เพื่อแสดงการประยุกต์ใช้SCR ระบบ avionics กระดาษนี้แสดงการระบุความต้องการของ SCR avionics เล็กระบบ นำ โดยมิลเลอร์ใน [I], ซึ่งอำนาจอุปกรณ์ของดอกเบี้ยเมื่อความสูงของการเครื่องบินลดลงต่ำกว่าขีดจำกัดที่ระบุ ถึงพัฒนาข้อกำหนดสำหรับระบบนี้ เราทำตามแบบกระบวนการ 4 ขั้นตอน กระบวนการนี้ให้มีระบบวิธีการพัฒนา และการจัดระเบียบการระบุข้อกำหนดของระบบ nontrivial

ผลลัพธ์ (ไทย) 3:

วิธีที่ได้รับการพัฒนาสำหรับ
ระบบประกันคุณภาพสูงอาคาร SCR
กรอบรวมถึงการระบุสเปคอย่างเป็นทางการ
สภาพตามรูปแบบพื้นฐานและวิธีการที่มีประโยชน์สำหรับการสร้างระบบประกัน

ที่ต้องให้บริการการรักษาความปลอดภัย ปลอดภัย รวดเร็ว และ faulttolerant
ลักษณะ แสดงให้เห็นถึงการประยุกต์ใช้
SCR ระบบ Avionics กระดาษนี้นำเสนอ
การระบุข้อกำหนดของระบบ Avionics
ขนาดเล็ก SCR นำโดยมิลเลอร์ใน [ i ] ซึ่งพลัง
บนอุปกรณ์ของดอกเบี้ยเมื่อความสูงของเครื่องบินอยู่ด้านล่าง
เกณฑ์ที่ระบุไว้

พัฒนาคุณสมบัติของระบบนี้ เราทำตามกระบวนการ
4 ขั้นตอน กระบวนการนี้มี
อย่างเป็นระบบเพื่อพัฒนา และจัด
ระบุข้อกำหนดของระบบนอนทริเวียล .