Text

A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems

---

Pekerjaan ini menyajikan metodologi prototipe virtual untuk desain dan verifikasi perangkat industri di tingkat lapangan sistem otomasi industri. Pekerjaan ini menunjukkan bahwa prototipe virtual dapat membantu meningkatkan kepercayaan terhadap kebenaran suatu desain berkat pemahaman yang lebih mendalam tentang interaksi kompleks antara perangkat keras, perangkat lunak, komponen analog dan sinyal campuran dari sistem tertanam, serta proses fisik yang berinteraksi dengannya. ;;; Seiring dengan meningkatnya kompleksitas sistem tertanam (embedded systems) yang bersifat heterogen—menggabungkan berbagai arsitektur prosesor, akselerator perangkat keras, dan tumpukan perangkat lunak yang beragam—tantangan dalam memastikan keandalan sistem menjadi semakin krusial. Karya ini mengusulkan sebuah metodologi verifikasi dinamis yang berorientasi pada masalah (problem-oriented approach). Berbeda dengan pendekatan verifikasi tradisional yang bersifat menyeluruh namun memakan waktu, pendekatan ini memfokuskan sumber daya komputasi pada identifikasi dan analisis area spesifik dalam desain yang memiliki risiko kegagalan tertinggi atau perilaku non-deterministik. Metodologi ini mengintegrasikan pemodelan berbasis masalah dengan teknik verifikasi saat waktu berjalan (run-time verification), yang memungkinkan deteksi dini terhadap kesalahan integrasi pada antarmuka perangkat keras dan perangkat lunak. Melalui serangkaian eksperimen pada platform heterogen, penelitian ini menunjukkan bahwa pendekatan berorientasi masalah mampu mengurangi kompleksitas ruang status yang harus diperiksa, mempercepat waktu siklus verifikasi, dan meningkatkan efisiensi pendeteksian bug pada sistem yang beroperasi dalam lingkungan dinamis. Hasilnya memberikan kerangka kerja yang kuat bagi para insinyur sistem untuk memvalidasi performa dan keamanan sistem tertanam yang kompleks secara lebih sistematis dan terukur.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

004.21 CER p

Publisher

Karlsruhe, Jerman. : KIT Scientific Publishing., 2013

Collation

1 online resource (X, 168 p. p.)

Language

English

ISBN/ISSN

9783731501695

Classification

004.21

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Analisis dan Desain Sistem

Specific Detail Info

-

Statement of Responsibility

Francisco Mendoza Cervantes

Other Information

Cataloger

Erwin Hendarto

Source

https://directory.doabooks.org/handle/20.500.12854/57021

Validator

Erwin Hendarto

Digital Object Identifier (DOI)

10.5445/KSP/1000038209

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment