UML modeling and formal verification of control/data driven Embedded Systems
| dc.contributor.author | Boutekkouk, Fateh | |
| dc.contributor.author | Benmohammed, Mohamed | |
| dc.date.accessioned | 2022-04-27T04:09:55Z | |
| dc.date.available | 2022-04-27T04:09:55Z | |
| dc.date.issued | 2009 | |
| dc.description.abstract | In this paper, we present our approach for UML based modeling of control/data driven Embedded Systems. In our case application is presented as a network of hierarchic data driven and control driven tasks that communicate via abstract channels. Hardware platform is modeled as UML structure diagram. Mapping of application on hardware platform is modeled through UML constraints. From UML models, a Maude specification is generated. We use this formal specification to formally validate system functionality against some undesirable properties and to estimate system power consumption at a high level of abstraction. | ar |
| dc.identifier.isbn | 978-0-7695-3702-3 | |
| dc.identifier.uri | http://hdl.handle.net/123456789/12982 | |
| dc.language.iso | en | ar |
| dc.publisher | IEEE | ar |
| dc.subject | UML | ar |
| dc.subject | Embedded systems | ar |
| dc.subject | Rewriting logic | ar |
| dc.subject | Maude | ar |
| dc.subject | Power Consumption | ar |
| dc.subject | Power consumption | ar |
| dc.subject | Formal verification | ar |
| dc.title | UML modeling and formal verification of control/data driven Embedded Systems | ar |
| dc.type | Article | ar |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- uml-modeling-and-formal-verification-1.pdf
- Size:
- 355.63 KB
- Format:
- Adobe Portable Document Format
- Description:
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: