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

Fast Links Links
a, May 17, 2012
Qualification
Ph.D. Student

Student
PhD Program in Computer Science - 26° Ciclo (January 1, 2011 - December 31, 2013)


Office
Ca' Vignal 2,  Floor 1,  Room 69

Telephone
+39 045 8027048

Mobile
+39-3898884308

Fax
+39 045 8027068

E-mail
emad|ebeid*univr|it <== Replace | with . and * with @ to have the right email address.

Personal web page
http://www.emadebeid.net

Skype
My status



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 find 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 profiles for the description of networked embedded systems along with a set of
 methodologies and simulation tools for formal specification and verification. 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

Documents

Curriculum

Office hours
Place day Timetable
Thursday 8:30 AM - 12:00 PM

Research groups
Name Description
Electronic Systems Design (ESD) Techniques for the automatic design of electronic systems, based on formal languages and correct by construction or formally verified methodologies

Research products

Year
Type of item
Number of research products per page
publications on 8 total
 

Projects
Title Starting date
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development 9/1/11


People
Top