Embed Size (px)
Citation preview
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!
