Emad Samuel Malki Ebeid
The contents of this page are the responsibility of the person: Emad Samuel Malki Ebeid
In caso di assenza rivolgersi alla struttura: Department of Computer Science
- Ph.D. Student
- PhD Program in Computer Science - 26° Ciclo (January 1, 2011 - December 31, 2013)
- Ca' Vignal 2, Floor 1, Room 69
- +39 045 8027048
- +39 045 8027068
- Personal web page
PhD Program in Computer Science - 26° Ciclo (January 1, 2011 - December 31, 2013)
- Doctorate research program
Networked embedded systems (NES) are distributed embedded systems connected together using network interfaces and standardized protocols.
The protocols are often implemented partly in hardware and partly in software. NES’s are usually designed at the highest level of abstraction as a collection of basic network models communicating with each other.
In this proposal we focus on the modeling and synthesis of distributed applications based on networked embedded systems. We try to ﬁnd a methodology to extract communication requirements from an abstract description
of the system which opening the way to the synthesis of network elements. The emphasis is on using standard UML/MARTE and SysML proﬁles for the description of networked embedded systems along with a set of
methodologies and simulation tools for formal speciﬁcation and veriﬁcation. Standard modeling languages allows reuse, tool interoperability and documentation generation.
A set of case studies from International research projects are used for the validation of the results and investigations.
- Doctorate reference figure
- Franco Fummi
- PhD Tutors
- Davide Quaglia
- Bio (html, en, 23 KB, 6/8/12)
- C.V. (pdf, en, 72 KB, 6/8/12)
- PhD forum at Date 2013 (pdf, en, 134 KB, 11/5/12)
|Thursday||8:30 AM - 12:00 PM|
|Electronic Systems Design (ESD)||Techniques for the automatic design of electronic systems, based on formal languages and correct by construction or formally verified methodologies|
|TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development||9/1/11|