SUMMARY We introduced model-based d

SUMMARY
We introduced model-based design methodology for cyber- physical systems and evaluated it through the development of the TBD. It is our strong belief that the Tunneling Ball problem would have been extremely difficult (if not impossible) to solve without the use of modeling and simulation. MBD proved critical in nearly every aspect of development, and especially in device construction, hardware selection, and selection of the model of computation. The methodology invokes powerful modeling theory in a strongly pedagogical application of mathematics, engineering, and computer science. Each of the steps investigated in this report is only a preview of a vast field of research, but the formalization into codependent steps offers an innovative approach to the design of cyber-physical systems.


Embedded Systems
Abstract. Model-based development relies on the use of explicit models to describe development activities and products. Among other things, the explicit existence of process and product models allows the definition and use of complex development steps that are correct by design, the generation of proof obligations for a given transformation, requirements tracing, and documentation of the process. Our understanding of model- based development in the context of embedded systems is exposed. We argue that the concept of model-based development is orthogonal to a specific process, be it agile or rigorous.

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

สรุป เราแนะนำวิธีการออกแบบตามแบบจำลองระบบทางกายภาพและทางไซเบอร์ และประเมินผ่านการพัฒนาของ TBD มันเป็นความเชื่อของเราแข็งแรงที่ว่า ปัญหาลูกทันเนลจะได้ยากมาก (ถ้าไม่ไปไม่ได้) โดยสร้างแบบจำลองและการจำลองการใช้แก้ MBD พิสูจน์สำคัญ ในเกือบทุกด้านของการพัฒนา และโดยเฉพาะอย่างยิ่ง ในอุปกรณ์ก่อสร้าง ฮาร์ดแวร์ตัวเลือก ตัวเลือกของแบบจำลองการคำนวณ วิธีเรียกใช้ทฤษฎีโมเดลที่มีประสิทธิภาพในโปรแกรมประยุกต์ขอสอนวิทยาศาสตร์คณิตศาสตร์ วิศวกรรม และคอมพิวเตอร์ แต่ละขั้นตอนการตรวจสอบในรายงานนี้เป็นเพียงตัวอย่างของเขตข้อมูลของงานวิจัยมากมาย แต่ formalization ไว้ codependent มีวิธีการใหม่เพื่อการออกแบบระบบทางกายภาพและทางไซเบอร์ ระบบฝังตัว บทคัดย่อ พัฒนาตามรูปแบบอาศัยใช้รูปแบบที่ชัดเจนเพื่ออธิบายกิจกรรมการพัฒนาและผลิตภัณฑ์ ต่าง ๆ การดำรงอยู่อย่างชัดเจนของกระบวนการและผลิตภัณฑ์ได้นิยามและใช้ขั้นตอนที่ถูกต้องโดยออกแบบ การสร้างข้อผูกมัดกันแปลงกำหนด ความต้องการติดตาม และเอกสารการพัฒนาซับซ้อน เราเข้าใจรูปแบบตามการพัฒนาในบริบทของระบบฝังตัวจะถูกเปิดเผย เราโต้แย้งว่า แนวคิดของการพัฒนาตามรูปแบบ orthogonal กับกระบวนการเฉพาะ คล่องตัว หรือเข้มงวด

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

สรุป
เราแนะนำวิธีการออกแบบแบบที่ใช้สำหรับระบบทางกายภาพไซเบอร์และประเมินผลผ่านการพัฒนาของ TBD มันเป็นความเชื่อที่แข็งแกร่งของเราว่าปัญหาบอล Tunneling จะได้รับยากมาก (ถ้าไม่เป็นไปไม่ได้) เพื่อแก้ปัญหาโดยไม่ต้องใช้การสร้างแบบจำลองและการจำลอง MBD รับการพิสูจน์ที่สำคัญในเกือบทุกด้านของการพัฒนาและโดยเฉพาะอย่างยิ่งในการก่อสร้างอุปกรณ์ตัวเลือกฮาร์ดแวร์และการเลือกรูปแบบของการคำนวณ วิธีการเรียกใช้ทฤษฎีการสร้างแบบจำลองที่มีประสิทธิภาพในการประยุกต์ใช้การเรียนการสอนอย่างยิ่งของคณิตศาสตร์วิศวกรรมและวิทยาศาสตร์คอมพิวเตอร์ แต่ละขั้นตอนการตรวจสอบในรายงานนี้เป็นเพียงตัวอย่างของสนามกว้างใหญ่ของการวิจัย แต่เป็นระเบียบเป็นขั้นตอน codependent มีวิธีการใหม่ในการออกแบบของระบบไซเบอร์ทางกายภาพ. Embedded Systems บทคัดย่อ การพัฒนารูปแบบที่ใช้ขึ้นอยู่กับการใช้แบบจำลองอย่างชัดเจนเพื่ออธิบายกิจกรรมการพัฒนาและผลิตภัณฑ์ เหนือสิ่งอื่นใดการดำรงอยู่อย่างชัดเจนของกระบวนการและรูปแบบผลิตภัณฑ์ที่ช่วยให้ความหมายและการใช้ขั้นตอนการพัฒนาที่ซับซ้อนที่ถูกต้องโดยการออกแบบ, การผลิตของภาระผูกพันหลักฐานสำหรับการเปลี่ยนแปลงที่ได้รับการติดตามความต้องการและเอกสารของกระบวนการ ความเข้าใจของเราแบบจำลองการพัฒนาอยู่ในบริบทของระบบฝังตัวเป็นที่เปิดเผย เรายืนยันว่าแนวคิดของการพัฒนาแบบที่ใช้เป็นฉากกับกระบวนการที่เฉพาะเจาะจงว่าจะเป็นความคล่องตัวหรืออย่างเข้มงวด

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

สรุป
เราแนะนำสำหรับวิธีการออกแบบเว็บไซต์ - ระบบทางกายภาพและประเมินผลผ่านการพัฒนาของ TBD . มันเป็นความเชื่อที่แข็งแกร่งของเราที่ทะลุผ่านบอลปัญหาคงจะยากมาก ( ถ้าเป็นไปได้ ) เพื่อแก้ปัญหาโดยไม่ใช้การสร้างแบบจำลองและการจำลองสถานการณ์ mbd พิสูจน์ที่สำคัญในเกือบทุกด้านของการพัฒนา และโดยเฉพาะอย่างยิ่งในการสร้างอุปกรณ์การเลือกอุปกรณ์ และการเลือกรูปแบบของการคำนวณได้ วิธีการเรียกใช้รายการทฤษฎีแบบจำลองที่มีประสิทธิภาพในการสอนอย่างยิ่ง คณิตศาสตร์ วิศวกรรมศาสตร์ และวิทยาศาสตร์คอมพิวเตอร์ แต่ละขั้นตอนตรวจสอบในรายงานนี้เป็นเพียงตัวอย่างของเขตข้อมูลมากมายของการวิจัยแต่ formalization ในขั้นตอนเชื่องเสนอวิธีการใหม่เพื่อการออกแบบระบบทางกายภาพ ไซเบอร์


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