The desired system behavior is docu

The desired system behavior is documented in the SRS by describing two relations, NAT and
REQ, on the monitored and controlled quantities; these relations are part of the Parnas Four
Variable Model [6]. The relation NAT describes the constraints imposed on the environmental
quantities by physical laws and the system environment. REQ describes the relation between the
monitored and controlled quantities that the system must enforce to produce the required
behavior. In developing the SRS, we initially specify REQ in terms of the ideal behavior of the
system; that is, we assume that the system can obtain perfect values of the monitored quantities
and compute perfect values of the controlled quantities. Later, for each controlled variable, we
specify timing constraints (and possibly tolerances).

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

ลักษณะการทำงานของระบบต้องเป็นเอกสารในแบบ SRS โดยอธิบายความสัมพันธ์ของสอง NAT และ REQ ปริมาณของการตรวจสอบ และควบคุม ความสัมพันธ์เหล่านี้เป็นส่วนหนึ่งของรามา 4ตัวแปรแบบจำลอง [6] ความสัมพันธ์ทาง NAT อธิบายถึงข้อจำกัดที่เก็บในสิ่งแวดล้อม ปริมาณตามกฎหมายทางกายภาพและสภาพแวดล้อมระบบ REQ อธิบายความสัมพันธ์ระหว่างการ ตรวจสอบ และควบคุมปริมาณที่ต้องการบังคับใช้ระบบการผลิตที่จำเป็น ลักษณะการทำงาน ในการพัฒนา SRS เราเริ่มระบุ REQ ในพฤติกรรมเหมาะ ระบบ นั่นคือ เราสมมติว่า ระบบสามารถรับค่าสมบูรณ์ของปริมาณตรวจสอบ และคำนวณค่าสมบูรณ์ของปริมาณควบคุม หลัง สำหรับแต่ละตัวแปรควบคุม เรา ระบุข้อจำกัดของเวลา (และอาจจะยอมรับ)

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

พฤติกรรมของระบบที่ต้องการการบันทึกไว้ใน SRS โดยการอธิบายความสัมพันธ์ระหว่างสอง, NAT และ
REQ ในปริมาณที่ตรวจสอบและควบคุม; ความสัมพันธ์เหล่านี้เป็นส่วนหนึ่งของ Parnas สี่
รุ่นตัวแปร [6] ความสัมพันธ์ NAT อธิบายข้อ จำกัด ที่กำหนดไว้ในสิ่งแวดล้อม
ในปริมาณตามที่กฎหมายทางกายภาพและสภาพแวดล้อมของระบบ REQ อธิบายความสัมพันธ์ระหว่าง
ปริมาณที่ตรวจสอบและควบคุมที่ระบบจะต้องมีการบังคับใช้ในการผลิตที่จำเป็น
พฤติกรรม ในการพัฒนา SRS เราในตอนแรกระบุ REQ ในแง่ของพฤติกรรมในอุดมคติของ
ระบบ ว่ามีที่เราคิดว่าระบบสามารถได้ค่าที่สมบูรณ์แบบของการตรวจสอบปริมาณ
และคำนวณค่าที่สมบูรณ์แบบของการควบคุมปริมาณ ต่อมาสำหรับแต่ละตัวแปรควบคุมเรา
ระบุข้อ จำกัด ระยะเวลา (และอาจจะคลาดเคลื่อน)

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

ระบบพฤติกรรมที่ต้องการเอกสาร SRS โดยอธิบายถึงความสัมพันธ์สอง แนท
Req , ในการตรวจสอบและควบคุมปริมาณ เหล่านี้สัมพันธ์เป็นส่วนหนึ่งของพาร์นาส 4
ตัวแปรแบบ [ 6 ] ความสัมพันธ์ที่อธิบายถึงข้อจำกัดที่กำหนดขึ้นโดยกฎหมายสิ่งแวดล้อม
ปริมาณทางกายภาพและสภาพแวดล้อมของระบบ อธิบายถึงความสัมพันธ์ระหว่าง
Reqตรวจสอบและควบคุมปริมาณที่ระบบจะต้องบังคับใช้เพื่อผลิตเป็นพฤติกรรม . ในการพัฒนา SRS เราเริ่มระบุ Req ในแง่ของพฤติกรรมในอุดมคติของ
ระบบ คือว่า เราคิดว่าระบบสามารถขอรับค่าสมบูรณ์ของการตรวจสอบ และคำนวณปริมาณ
ค่าสมบูรณ์ของการควบคุมปริมาณ ต่อมา สำหรับแต่ละตัวแปรควบคุมเรา
ระบุข้อจำกัดของเวลา ( และอาจจะคลาดเคลื่อน )