Machine-to-Machine communications (

Machine-to-Machine communications (M2M)
is emerging as a new technology for next generation of communicating systems.
In
such M2M based systems, a large number of intelligent machines share information and make collaborative decisions without
human interventions. M2M
is involved in several fields and in particular, in critical ones such as the healthcare services, where
requirements
in term of Quality of Services (QoS) and particularly time related requirements must be thoroughly enforced. In
this paper,
we are interested in the
verification
problem of Publish
/
Subscribe based M2M systems where
we consider time related
requirements.
In this context, we first characterize Publish
/
Subscribe communications
on the top of the OM2M platform, which
is an implementation of the ETSI M2M standard. Then, we introduce a formal graph based model to specify Publish
/
Subscribe
communications associated
to time related requirements. Based on the defined formal model, we provide a model checking based
techniques
to
validate
time requirements for data
exchange
delays.

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

เครื่องจักรเครื่องติดต่อสื่อสาร (M2M)คือเกิดใหม่เป็นเทคโนโลยีใหม่สำหรับรุ่นต่อไปของระบบสื่อสารในM2M เช่นตามระบบ เครื่องอัจฉริยะจำนวนมากใช้ข้อมูลร่วมกัน และทำการตัดสินใจร่วมกันโดยไม่แทรกแซงของมนุษย์ M2Mมีส่วนร่วม ในฟิลด์หลายฟิลด์ และโดยเฉพาะอย่างยิ่ง ในสำคัญเช่นบริการสุขภาพ ที่ความต้องการในคุณภาพของบริการ (QoS) และโดยเฉพาะอย่างยิ่ง เวลาที่เกี่ยวข้องความต้องต้องถูกบังคับทำ ในกระดาษนี้เรามีความสนใจในการการตรวจสอบปัญหาของประกาศ/สมัครสมาชิกระบบ M2M ตามที่เราพิจารณาเวลาที่เกี่ยวข้องความต้องการในบริบทนี้ เราแรกแห่งประกาศ/สมัครสมาชิกติดต่อสื่อสารบนแพลตฟอร์ม OM2M ซึ่งมีการนำไปใช้มาตรฐานยูนิเทค M2M จากนั้น เราแนะนำแบบใช้กราฟทางสามารถเผยแพร่/สมัครเป็นสมาชิกสื่อสารที่เกี่ยวข้องถึงเวลาความต้องการที่เกี่ยวข้อง แบบเป็นทางการที่กำหนด เราให้ตรวจสอบการจำลองโดยใช้เทคนิคถึงการตรวจสอบความต้องการเวลาสำหรับข้อมูลอัตราแลกเปลี่ยนความล่าช้า

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

การสื่อสาร machine-to-เครื่อง (M2M)
ที่เกิดขึ้นเป็นเทคโนโลยีใหม่สำหรับรุ่นต่อไปของการสื่อสารระบบ
ใน
ระบบเช่น M2M ตามเป็นจำนวนมากของเครื่องฉลาดแบ่งปันข้อมูลและการตัดสินใจร่วมกันโดยไม่มี
การแทรกแซงของมนุษย์ M2M
มีส่วนร่วมในหลายสาขาและโดยเฉพาะอย่างยิ่งในคนที่สำคัญเช่นบริการด้านสุขภาพที่
ต้องการ
ในแง่ของคุณภาพของบริการ (QoS) และโดยเฉพาะอย่างยิ่งความต้องการเวลาที่เกี่ยวข้องจะต้องมีการบังคับใช้อย่างทั่วถึง ใน
บทความนี้
เรามีความสนใจใน
การตรวจสอบ
ปัญหาการเผยแพร่
/
สมัครสมาชิกที่ใช้ระบบ M2M ที่
เราพิจารณาเวลาที่เกี่ยวข้องกับ
ความต้องการ
ในบริบทนี้เราแรกลักษณะเผยแพร่
/
สมัครสมาชิกการสื่อสาร
ที่ด้านบนของแพลตฟอร์ม OM2M ซึ่ง
คือการดำเนินการ ETSI M2M มาตรฐาน จากนั้นเราแนะนำกราฟอย่างเป็นทางการรูปแบบที่ใช้ในการระบุเผยแพร่
/
สมัครสมาชิก
การสื่อสารที่เกี่ยวข้อง
กับความต้องการของเวลาที่เกี่ยวข้อง ขึ้นอยู่กับรูปแบบที่เป็นทางการที่กำหนดไว้เรามีการตรวจสอบตามรูปแบบ
เทคนิค
การ
ตรวจสอบ
ความต้องการเวลาสำหรับการ
แลกเปลี่ยน
ความล่าช้า

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

เครื่องสื่อสารเครื่อง ( M2M )
นวยเป็นเทคโนโลยีใหม่สำหรับรุ่นต่อไปของระบบการสื่อสาร .

เช่น M2M ในระบบที่ใช้ตัวเลขขนาดใหญ่ของเครื่องจักรแบ่งปันข้อมูลและการตัดสินใจร่วมกันโดย
การแทรกแซงของมนุษย์ .
เกี่ยวข้องในหลายเขต และโดยเฉพาะอย่างยิ่งในที่คับขัน เช่น การให้บริการสุขภาพที่ความต้องการ

ในด้านคุณภาพของการบริการ ( QoS ) และเวลาโดยเฉพาะอย่างยิ่งที่เกี่ยวข้องกับความต้องการต้องสะอาดมีผลบังคับใช้ ในกระดาษนี้

, เรามีความสนใจในการตรวจสอบปัญหาของการเผยแพร่


/

สมัครสมาชิกตามระบบที่เราพิจารณาความต้องการเวลาที่เกี่ยวข้อง
. .
ในบริบทนี้เราแรกวิเคราะห์เผยแพร่
/

สมัครสมาชิกผ่านด้านบนของ om2m แพลตฟอร์มซึ่ง
คือการดำเนินการของ ETSI . มาตรฐาน งั้นเราแนะนำ ใช้รูปแบบกราฟแบบระบุเผยแพร่
/


เวลาสมัครสมาชิก การสื่อสารที่เกี่ยวข้องกับความต้องการ ตามนิยามแบบเป็นทางการ เราให้บริการการตรวจสอบรูปแบบตาม




เทคนิคตรวจสอบความต้องการเวลาแลกเปลี่ยนข้อมูล

ความล่าช้า