ข้อมูลทั่วไป

Runtime Verification เป็นวิธีการคำนวณการวิเคราะห์ระบบและการดำเนินการที่ออกแบบมาเพื่อดึงข้อมูลจากระบบที่ทำงานอยู่เพื่อตรวจจับและอาจตอบสนองต่อพฤติกรรมที่สังเกตได้ คุณสมบัติบางอย่าง เทคโนโลยีนี้สามารถใช้เพื่อวัตถุประสงค์ที่หลากหลายเช่นการตรวจสอบนโยบายความปลอดภัยหรือความปลอดภัยการดีบักการทดสอบการตรวจสอบการตรวจสอบการวิเคราะห์ประสิทธิภาพการป้องกันข้อผิดพลาดการปรับเปลี่ยนพฤติกรรมและอื่น ๆ หลีกเลี่ยงความซับซ้อนของเทคโนโลยีการตรวจสอบรูปแบบดั้งเดิมโดยการวิเคราะห์วิถีการดำเนินการจำนวนเล็กน้อยและทำงานโดยตรงกับระบบจริง

Runtime Verification Inc. เป็น บริษัท ที่มุ่งเน้นการตรวจสอบความปลอดภัยของเครื่องเสมือนและสัญญาอัจฉริยะโดยใช้เทคโนโลยีการตรวจสอบรันไทม์บริการที่พวกเขานำเสนอรวมถึงการตรวจสอบการออกแบบการตรวจสอบรหัสการตรวจสอบและการตรวจสอบอย่างเป็นทางการของสัญญาและโปรโตคอลอัจฉริยะ

Runtime Verification Inc. ปัจจุบันมีผลิตภัณฑ์อะไรบ้าง

Runtime Verification Inc. กำลังพัฒนาผลิตภัณฑ์หลักสามรายการ: RV-Prediction เป็นเครื่องมือวิเคราะห์รันไทม์เชิงคาดการณ์ที่มุ่งเน้นการตรวจจับข้อผิดพลาดที่เกิดขึ้นพร้อมกันในโปรแกรมโดยอัตโนมัติ RV-Monitor เป็นวิธีการพัฒนาและเครื่องมือสร้างห้องสมุดที่ช่วยให้สามารถตรวจสอบและดำเนินการคุณสมบัติที่ผู้ใช้เลือกในขณะรันไทม์RV-Match เป็นเครื่องมือที่ช่วยให้สามารถดำเนินการตรวจสอบความถูกต้องแบบรันไทม์อย่างละเอียดในลักษณะเชิงสัญลักษณ์สำหรับเส้นทางโปรแกรมที่เป็นไปได้ทั้งหมดดังนั้นจึงพิสูจน์ว่าคุณสมบัติบางอย่างถูกต้องสำหรับการดำเนินการที่เป็นไปได้ทั้งหมดของโปรแกรมที่กำหนด

ควรใช้ RV-Prediction เมื่อใดและเพราะเหตุใด

เมื่อใดก็ตามที่ความถูกต้องพร้อมกันมีความสำคัญต่อแอปพลิเคชันแบบมัลติเธรด ควรใช้ RV-Prediction RV-Prediction สามารถตรวจจับปัญหาที่เกิดขึ้นพร้อมกันและการแย่งชิงข้อมูลในโปรแกรมได้อย่างมีประสิทธิภาพและราบรื่นใช้งานง่ายมากและมักไม่ต้องการการกำหนดค่าใด ๆRV-Prediction ยังใช้คุณสมบัติการทำนายที่ไม่ซ้ำกันเพื่อตรวจจับการทะเลาะวิวาทที่เป็นไปได้แม้ว่าจะไม่ได้เกิดขึ้นในการติดตามการดำเนินการของบันทึก RV-Prediction

เมื่อใดและเพราะเหตุใดจึงควรใช้ RV-Monitor

RV-Monitor อนุญาตให้ตรวจสอบแอปพลิเคชันหรือระบบที่ซับซ้อนและดำเนินการติดตามคุณสมบัติการดำเนินการกับพวกเขา RV-Monitor ควรใช้ตราบใดที่มีข้อกำหนดสำหรับการพัฒนาโปรแกรมการจัดการและการปฏิบัติตามข้อกำหนดนี้เป็นคุณสมบัติหลักของซอฟต์แวร์ RV-Monitor ยังสามารถใช้เพื่อตรวจสอบการปฏิบัติตาม API ทั่วไปรวมถึง Android และ Java API

ควรใช้ RV-Match เมื่อใดและเพราะเหตุใด

RV-Monitor สามารถตรวจสอบและบังคับใช้คุณสมบัติบางอย่างที่สอดคล้องกับการดำเนินการของโปรแกรมที่กำหนดในขณะที่ RV-Match สามารถพิสูจน์ความถูกต้องของโปรแกรมในขณะรันไทม์จึงวิเคราะห์เส้นทางการดำเนินการที่เป็นไปได้ทั้งหมดและการติดตามการดำเนินการบนอินพุตที่เป็นไปได้ทั้งหมด RV-Match ให้การรับประกันความถูกต้องที่แข็งแกร่งโดยใช้ความหมายที่กำหนดอย่างเป็นทางการของภาษาเป้าหมายเพื่อจำลองการดำเนินการในลักษณะเชิงสัญลักษณ์ เมื่อต้องการการรับประกันที่แข็งแกร่งสำหรับการตรวจสอบอย่างเป็นทางการควรใช้ RV-Match หรือร่วมกับ RV-Monitor เพื่อกำจัดการตรวจสอบในพื้นที่ที่สามารถพิสูจน์ได้ว่าไม่เคยละเมิดคุณสมบัติ

ใบอนุญาตใดบ้างที่ครอบคลุมโดยผลิตภัณฑ์ของ Runtime Verification Inc.

โครงการที่พัฒนาโดย RV แบ่งออกเป็นสองประเภท: ผลิตภัณฑ์ที่เป็นกรรมสิทธิ์และโครงการที่ได้รับอนุญาตภายใต้ Open License (เป็นส่วนหนึ่งของระบบนิเวศโอเพ่นซอร์ส RV)

ผลิตภัณฑ์ที่เป็นกรรมสิทธิ์รวมถึงผลิตภัณฑ์ทั้งหมดที่ไม่ได้รับอนุญาตอย่างชัดแจ้งภายใต้ Open License และใช้เพื่อวัตถุประสงค์ในการประเมินและวิชาการ / ไม่ใช่เชิงพาณิชย์เท่านั้น ไม่อนุญาตให้ใช้ผลิตภัณฑ์ RV ที่เป็นกรรมสิทธิ์ในการสร้างอนุพันธ์โดยไม่ได้รับอนุญาตล่วงหน้าและ RV ขอสงวนสิทธิ์ทั้งหมดในผลิตภัณฑ์ที่เป็นกรรมสิทธิ์ ไม่อนุญาตให้ใช้วิศวกรรมย้อนกลับกับผลิตภัณฑ์ที่เป็นกรรมสิทธิ์ในทางใดทางหนึ่ง

การตรวจสอบโครงการ Blockchain

การตรวจสอบ Runtime ได้มีส่วนร่วมในการตรวจสอบโครงการ blockchain หลายโครงการรวมถึง แต่ไม่ จำกัด เฉพาะสิ่งต่อไปนี้:

- การตรวจสอบความปลอดภัยของสัญญาอัจฉริยะ: พวกเขาให้การตรวจสอบต้นทุนต่ำของสัญญาเช่น ERC-20 ERC-721 ERC-4626

- การตรวจสอบความปลอดภัยของโปรโตคอล: รวมถึงโปรโตคอลสำหรับการดำเนินการที่เกี่ยวข้องกับการให้ยืม

- การตรวจสอบความถูกต้องของแบบฟอร์ม: ให้การตรวจสอบความถูกต้องของแบบฟอร์มโอเพ่นซอร์สและเครื่องมือสำหรับนักพัฒนาเพื่อลดต้นทุนการตรวจสอบและเปิดใช้งานการตรวจสอบความถูกต้องของแบบฟอร์มอย่างต่อเนื่อง

การตรวจสอบของพวกเขามักจะรวมถึงการตรวจสอบด้วยตนเองและการตรวจสอบอย่างเป็นทางการเพื่อให้มั่นใจในความปลอดภัยและความน่าเชื่อถือของรหัส