Manuela L. BUJORIANU

 

Multi-Dimensional System

co-Engineering

MScE

 

                                    

 

Permanently under construction!  

 

 

 

 

 

 

 

 

 

 

Interdisciplinary system development paradigm co-engineering:

·              Formal engineering

·              Mathematical engineering

·              Control engineering

·              Co-technology

 

Co-Engineering:

Integration of creative processes where interactions between activities are more subtle than in traditional applications (i.e. non-scheduled, unpredictable, dynamic, etc.).

Example: The ESA System-Software co-engineering

 

 

Formal engineering

 

Formal methods

 

 

Mathematical Engineering:

Engineering is the art of creating and improving our environment. It involves planning, design, construction, quality assessment and control. None of these would be possible without mathematics. Engineering mathematics is at the core of all branches of engineering, from aerospace engineering to electronics and from mechanical engineering to computer science. As engineering evolves and develops, mathematics forms the common foundation of all new disciplines.

 

CoTechnology

is COmputer and COmmunication technology supporting human activities such as COordination, COllaboration, COoperation, COmpetiveness, COnflict management, etc. ( Harry Stevens)

 

Various incarnations

 

 

Multi-dimensional separation of concerns in software engineering

 

IBM’s hyperspaces

 

Formal Engineering Design Synthesis

.

 

 

 

 

 

 

 

 

 

 

 Back on top

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 Back on top

 

 

 

 

 

.

Bisimulation for Stochastic Hybrid Systems

 

Viewpoint Development of Stochastic Hybrid Systems

 

Stochastic formal methods for hybrid systems

Bisimulation, Logic and Reachability Analysis for Markovian Systems.

Formal Engineering Hybrid Systems: Semantic Underpinnings

Towards a formalization of viewpoints testing

Formal Testing of Correspondence Carrying Software.

On the Hilbert Machines Quantitative Computational Model

Towards a Formal Framework for Multidimensional Codesign

Extending UML: A foundational approach to heterogeneity

Styles in Heterogeneous Modeling With UML

Constructive potential theory: A linear logic approach

.

 

 

 

 

 

 

 Back on top

 

 

 

 

 

 

 

.

Manuela Bujorianu has co-organised the following international symposia

 

SEFM'2010  tutorial on ``Multi-dimensional Co-engineering of Autonomous Systems

 

HAS : the ETAPS2011 satellite workshop on ``Hybrid Autonomous Systems

 

CPSWEEK satellite workshop on ``Modeling and Verification of Uncertain Hybrid Systems”

 

Special session on reachability analysis of hybrid systems under uncertainty at ADHS2009 

 

FMA  The `` Formal Methods for Aerospace” workshop series

 

 

Other relevant symposia include:

 

ICFEM: International Conference on Formal Engineering Methods

 

ICCME International Conference on Computational and Mathematical Engineering

 

 

 

 

 

 Back on top

 

 

 

 

 

 

 

 

Formal methods

 

 

 

 

 

 

 Back on top