นี่คือแอป Linux ชื่อ autoCode4 ซึ่งสามารถดาวน์โหลดรีลีสล่าสุดเป็น autoCode4_v1.0.0.zip สามารถเรียกใช้ออนไลน์ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปนี้ออนไลน์ชื่อ autoCode4 พร้อม OnWorks ฟรี
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager https://www.onworks.net/myfiles.php?username=XXXXX ด้วยชื่อผู้ใช้ที่คุณต้องการ
- 3. อัปโหลดแอปพลิเคชันนี้ในตัวจัดการไฟล์ดังกล่าว
- 4. เริ่มโปรแกรมจำลองออนไลน์ของ OnWorks Linux หรือ Windows ออนไลน์ หรือโปรแกรมจำลองออนไลน์ MACOS จากเว็บไซต์นี้
- 5. จาก OnWorks Linux OS คุณเพิ่งเริ่มต้น ไปที่ตัวจัดการไฟล์ของเรา https://www.onworks.net/myfiles.php?username=XXXXX พร้อมชื่อผู้ใช้ที่คุณต้องการ
- 6. ดาวน์โหลดแอปพลิเคชั่น ติดตั้ง และเรียกใช้
ภาพหน้าจอ
Ad
รหัสอัตโนมัติ4
DESCRIPTION
autoCode4 เป็นเอ็นจิ้นที่สังเคราะห์คอนโทรลเลอร์จากข้อกำหนดอย่างเป็นทางการที่อธิบายไว้ภายใต้ชุดย่อยของตรรกะเวลาเชิงเส้น (LTL)ที่สำคัญ มันสังเคราะห์ตัวควบคุมกระแสข้อมูลแบบซิงโครนัส (ในรูปแบบ Luster หรือในรูปแบบ Ptolemy II) และคงไว้ซึ่งความสามารถในการตรวจสอบย้อนกลับของข้อกำหนดต่อโค้ด คุณลักษณะดังกล่าวได้รับมอบอำนาจในการพัฒนาระบบที่มีความสำคัญต่อความปลอดภัย และถือว่าจำเป็นสำหรับการตรวจสอบความถูกต้องของข้อกำหนดหรือการรวมการใช้งานด้วยตนเอง เช่น รหัสเดิม
ข้อกำหนด LTL จะรวบรวมพฤติกรรมที่ต้องการของตัวควบคุมโดยที่สภาพแวดล้อมมีการเคลื่อนไหวครั้งแรก (เช่น สัมผัส/อินพุต จากนั้นจึงตอบสนอง/เอาต์พุต) ดังนั้นตัวควบคุมที่สังเคราะห์แล้วจึงถูกมองว่าเป็นเครื่องจักร Mealy
บทแนะนำทีละขั้นตอนมีอยู่ในแพ็คเกจซอฟต์แวร์
คุณสมบัติ
- ควบคุมการสังเคราะห์จากข้อกำหนดที่เป็นทางการ
- จัดทำรายงานการตรวจสอบย้อนกลับข้อกำหนดต่อโมดูล
ผู้ชม
การบินและอวกาศ, เทคโนโลยีสารสนเทศ, วิทยาศาสตร์/การวิจัย, การผลิต, นักพัฒนา
ส่วนติดต่อผู้ใช้
คอนโซล/เทอร์มินัล, Command-line
ภาษาโปรแกรม
ชวา
นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/autocode4/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ในวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา
