Software Engineering Research @ Simula

Hong-Phu Nguyen (Postdoc @ Software Engineering Department)

Bjørnegård school @ SimuladagenOctober 21st, 2016

Phu Hong NGUYEN•  Now: Postdoctoral Researcher at Software

Engineering department, Simula, Norway.

•  Before:•  PhD in Software Engineering: University

of Luxembourg, Luxembourg.•  Master in Computer Science and

Engineering: Eindhoven University of Technology, The Netherlands.

•  Bachelor in Information and Software Technology: Hanoi University of Science and Technology, Vietnam.

http://matt.might.net/articles/phd-school-in-pictures/

Software Engineering

Software Security Engineering

School

What does Research mean?

Boundary of Knowledge Postdoc

What on the “Meny” from Soft. Engineering department?

Message #1: Why Software Engineering does matter!

What is software?

What is software engineering?

Why is software engineering VIKTIG?

“Smart” things are everywhere and software is everything!

Autonomous Systems

Autonomous Cars (Google car, Tesla auto-driver)

Auto Pilot Air PlanesMilitary Drones

Robots

Humanoid Robot, e.g., ASIMO

Industrial Robots

Smart Buildings

How do you make software?

http://www.theenterprisearchitect.eu/blog/2009/08/05/a-metaphor-for-model-driven-engineering/

Model-Driven Software Engineering

Message #2: Cool projects @ Soft. Eng. Department

Research Projects @ Software Engineering Department

Research Projects @ Software Engineering Department

Research Project Example 1: ABB Robotics

http://certus-sfi.no/mathieu-demonstrates-an-abb-robot/

Research Project Example 2: U-Test (An European Project)

U-Test: Testing the Uncertainty of Cyber-Physical Systems

Research Project Example 3: Play and learn with FightHPV

Research Project Example 3: FightHPV (Software Engineering with Biology to fight against Cancer)

The more you advance, the more knowledge you get!

FightHPV: Concepts to Characters

FightHPV Project Team

Message #3: A Poem about my Research!

Why do we care about the security of software systems?

A driver totally lost control of his car on the high way because someone successfully hacked the car’s software remotely…

http://www.theenterprisearchitect.eu/blog/2009/08/05/a-metaphor-for-model-driven-engineering/

Model-Driven Security (MDS)

Section 1. Introduction: Why Security important?

“Securité”? Why to bother? Internet banking ”tout le monde”! Smart phone is “nå” a ”must”. Face-Goog know “du” that ’s for sure ;)

Section 2. Approach: Model-Driven Security (MDS)

How about the MDS “metode”? Modeling the security concerns for the good By the hands of the “Secherhect” experts In a way that they must have understood On the other “hånd”, the business “logikk” Taken care by the business modelers Those to be auto−composed together Secure systems just one−click further !

Section 2. Approach (cont.): Model-Driven Security (MDS)

What so “god” is also for the code The language that computers like the most! Secure code are generated at no cost ;) From the secure models that “vi” got !

Section 3. Evaluation: Why MDS good?

Why MDS can be proved? such as a sound “metode” for the secure systems to be developed. First, at no cost to generate secure code . “Tid” pressure does not need a thought. “Produktivitet” surely that “vi” got . New threats can be dealt till the source Just some clicks away from models to code

Section 3. Evaluation (cont.): Why MDS good?

Second, quality of the “produkt” would it be secure and “god”? Yes, of course we can prove That secure systems are good By model checking & testing that we did And last but not least , The MDS systems are adaptive All the “ny” threats to be dealt with At runtime “de” can be treated ! And now “vi” reach to the conclusion .

Section 4. Conclusion

In the more “digitalt” world that we live The more secure-systems “vi” all need MDS shows “oss” what are great For the secure systems to be fit :)

THREE take-home messages!

Phu H. Nguyen (phu@simula.no)

Bjørnegård school @ SimuladagenOctober 21st, 2016