1. Home page
  2. Search

HARDWARE-SOFTWARE SYSTEM CODESIGN BASED ON OBJECT ORIENTED APPROACHES.

This item is provided by the institution :
National Documentation Centre (EKT)   

Repository :
National Archive of PhD Theses  | ΕΚΤ NA.Ph.D.   

see the original item page
in the repository's web site and access all digital files if the item*



ΣΥΣΧΕΔΙΑΣΗ ΣΥΣΤΗΜΑΤΩΝ ΥΛΙΚΟΥ-ΛΟΓΙΣΜΙΚΟΥ ΒΑΣΙΣΜΕΝΗ ΣΕ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΕ- ΦΕΙΣ ΜΕΘΟΔΟΥΣ.
HARDWARE-SOFTWARE SYSTEM CODESIGN BASED ON OBJECT ORIENTED APPROACHES.
Μαριάτος, Ευαγγελινός
PhD Thesis
1998
H ΔΙΑΤΡΙΒΗ ΠΑΡΟΥΣΙΑΖΕΙ ΜΙΑ ΝΕΑ ΜΕΘΟΔΟ ΣΧΕΔΙΑΣΗΣ ΗΛΕΚΤΡΟΝΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ.ΜΕ ΤΗΝΠΡΟΤΕΙΝΟΜΕΝΗ ΜΕΘΟΔΟ ΤΟ ΣΥΣΤΗΜΑ ΑΝΤΙΜΕΤΩΠΙΖΕΤΑΙ ΩΣ ΕΝΑ ΜΟΝΤΕΛΟ ΠΡΟΒΛΗΜΑΤΟΣ ΚΑΙ ΑΠΕΙΚΟΝΙΖΕΤΑΙ ΑΥΤΟΜΑΤΑ ΣΕ ΕΝΑ ΣΥΝΟΛΟ ΑΠΟ ΕΝΑΛΛΑΚΤΙΚΕΣ ΑΡΧΙΤΕΚΤΟΝΙΚΕΣ-ΣΤΟΧΟΥΣ. ΤΟ ΑΠΟΤΕΛΕΣΜΑ ΕΙΝΑΙ ΜΙΑ ΒΕΛΤΙΣΤΗ ΑΠΕΙΚΟΝΗΣΗ,ΠΟΥ ΜΑΣ ΕΠΙΤΡΕΠΕΙ ΝΑ ΠΑΡΑΓΟΥΜΕ ΜΕ ΑΥΤΟΜΑΤΑ ΕΡΓΑΛΕΙΑ ΤΟ ΤΕΛΙΚΟ ΜΟΝΤΕΛΟ ΥΛΟΠΟΙΗΣΗΣ.ΓΙΑ ΝΑ ΕΠΙΤΕΥΧΘΕΙ Ο ΑΥΤΟΜΑΤΙΣΜΟΣ ΒΑΣΙΖΟΜΑΣΤΕ ΣΕ ΕΝΑ ΜΑΘΗΜΑΤΙΚΟ ΦΟΡΜΑΛΙΣΜΟ ΠΟΥ ΠΗΓΑΖΕΙ ΑΠΟ ΤΗΝ ΘΕΩΡΙΑΚΑΤΗΓΟΡΙΩΝ. ΣΕ ΜΙΑ ΕΙΔΙΚΗ ΚΑΤΗΓΟΡΙΑ ΜΟΝΤΕΛΩΝ ΠΟΥ ΟΡΙΖΕΤΑΙ ΠΕΡΙΓΡΑΦΟΥΜΕ ΤΙΣ ΠΡΑΞΕΙΣ ΤΗΣ ΑΝΑΠΤΥΞΗΣ ΩΣ ΔΙΑΓΡΑΜΜΑΤΑ.ΕΤΣΙ ΒΡΙΣΚΟΝΤΑΙ ΟΙ ΒΑΣΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ ΜΙΑΣ ΓΛΩΣΣΑΣ ΠΕΡΙΓΡΑΦΗΣ ΜΟΝΤΕΛΩΝ ΠΟΥ ΘΑ ΜΑΣ ΕΠΙΤΡΕΨΕΙ ΝΑ ΧΕΙΡΙΣΤΟΥΜΕ ΤΟ ΠΡΟΒΛΗΜΑ ΤΗΣ ΑΠΕΙΚΟΝΗΣΗΣ ΩΣ ΠΡΟΒΛΗΜΑ ΑΝΑΘΕΣΗΣ (ΚΑΙ ΣΥΝΕΠΩΣ ΝΑ ΤΟ ΛΥΣΟΥΜΕ ΜΕ ΑΥΤΟΜΑΤΑ ΕΡΓΑΛΕΙΑ). ΜΙΑ ΤΕΤΟΙΑ ΓΛΩΣΣΑ ΕΙΝΑΙ ΚΑΙ Η ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΕΦΗΣ ΣΗΜΕΙΟΛΟΓΙΑ ΠΟΥ ΧΡΗΣΙΜΟΠΟΙΕΙΤΑΙ ΣΤΗΝ ΔΙΑΤΡΙΒΗ.ΤΟ ΑΠΟΤΕΛΕΣΜΑ ΤΗΣ ΕΡΓΑΣΙΑΣ ΑΠΟΔΕΙΚΝΥΕΙ ΠΩΣ ΑΝ ΕΦΑΡΜΟΣΤΟΥΝ ΜΑΘΗΜΑΤΙΚΑ-ΟΡΘΟΙ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΙ ΚΑΙ ΣΥΣΧΕΤΙΣΕΙΣ ΑΝΑΜΕΣΑ ΣΕΜΟΝΤΕΛΑ,ΕΙΝΑΙ ΕΦΙΚΤΗ Η ΑΥΤΟΜΑΤΟΠΟΙΗΣΗ ΤΗΣ ΔΙΑΔΙΚΑΣΙΑΣ ΣΧΕΔΙΑΣΗΣ ΓΙΑ ΠΟΛΥΠΛΟΚΑ ΣΥΣΤΗΜΑΤΑ. ΑΥΤΟ ΘΑ ΕΠΙΤΡΕΨΕΙ ΣΕ ΕΝΑΝ ΣΧΕΔΙΑΣΤΗ ΝΑ ΔΙΕΡΕΥΝΑ ΠΟΛΥ ΜΕΓΑΛΥΤΕΡΟ ΕΥΡΟΣ ΑΠΟ ΤΟΝ ΧΩΡΟ ΤΩΝ ΛΥΣΕΩΝ,ΕΠΙΤΥΓΧΑΝΟΝΤΑΣ ΚΑΛΥΤΕΡΟ ΤΕΛΙΚΟ ΣΥΣΤΗΜΑ ΣΕ ΣΥΝΤΟΜΟΤΕΡΟ ΧΡΟΝΟ. (ΤΕΛΟΣ ΠΕΡΙΛΗΨΗΣ).
THIS PHD IS IN THE DOMAIN OF HARDWARE-SOFTWARE CODESIGN.IN THE CONTEXT OF OURREASEARCH WE FOCUSED ON TWO POINTS: ON THE INTRODUCTION OF A NEW DEVELOPMENT- CYCLE MODEL FOR EMBEDDED SYSTEM BUILDING WHICH EMPFASIZED THE ARCHITECTURALEXPLORATION PHASE,AND ON ITS SUPPORT WITH NEW AUTOMATIC ALGORITHMS AND AN OBJECT ORIENTED LANGUAGE. WE APPLIED A FORMALISM BASED ON CATEGORY THEORY.WE HAVE DEFINED AN OMT-BASED NOTATION THAT ALLOWS SPECIFICATION AND DESING OF SYSTEMS THAT ARE TERGETED TO HARDWARE OR SOFTWARE.A SIMPLER CORE LANGUAGE HASALSO BEEN DEFINED AS A BASIS FOR CONSTRUCTING AND RUNNING THE ALGORITHMS WHICH IMPLEMENT OPERATIONS IN THE PROPOSED DCM.THE CENTRAL OPERATION IN THE DCM IS MAPPING FROM MODEL OF SPECIFICATIONS TO MODELS OF ARCHITECTURES, WHICH LEADS TO AN IMPLEMENTATION PROPOSAL.(ABSTR. TRUNC.)
Επιστήμες Μηχανικού και Τεχνολογία
Επιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ
Επιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ
Electrical Engineering, Electronic Engineering, Information Engineering
Λογισμικό
System design
Υλικό
Σχεδίαση συστημάτων
Επιστήμες Μηχανικού και Τεχνολογία
Engineering and Technology
Αντικειμενοστραφής
Θεωρία κατηγοριών
Category theory
EMBEDDED SYSTEM
ΕΝΣΩΜΑΤΩΜΕΝΟ ΣΥΣΤΗΜΑ
Hardware
Software
Object - oriented design
Greek
Πανεπιστήμιο Πατρών
University of Patras
Πανεπιστήμιο Πατρών. Σχολή Πολυτεχνική. Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών. Τομέας Ηλεκτρονικής και Υπολογιστών. Εργαστήριο Ηλεκτρονικών Εφαρμογών
National Documentation Centre (EKT)
National Archive of PhD Theses
Συλλογή ΕΑΔΔ



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)