From Robotics to Biology , Smart Car or Smart Toilet, ALL are empowered! Phu Hong Nguyen & Safdar Aqeel (Software Engineering Department) Bjørnegård school visit @ Simuladagen October 23 rd , 2015
From Robotics to Biology, Smart Car or Smart Toilet, ALL are
empowered!
Phu Hong Nguyen & Safdar Aqeel (Software Engineering Department)
Bjørnegård school visit @ SimuladagenOctober 23rd, 2015
Safdar Aqeel• Now: PhD Candidate at Simula,Norway
• Before:• BS and MS in computer science
from National University of Computer and Emerging Sciences, Islamabad, Pakistan
• Worked as Research Scholar at QUEST Lab, Islamabad, Pakistan
Phu Hong Nguyen• Now: Postdoctoral Researcher at Simula,
Norway.
• Before:• PhD in Computer Science and Software
Engineering: University of Luxembourg, Luxembourg.
• Master in Computer Science and Engineering: Eindhoven University of Technology, The Netherlands.
• Bachelor in Computer Science: Hanoi University of Science and Technology, Vietnam.
1. Software Engineering?
2. Software Engineering Research @ Simula: From Robotics to Biology
3. A scientific poem about my research!
Software is everywhere! Software is the soul of every machine…
www.linkedin.com
Autonomous Systems
Autonomous Cars (Google car, Tesla auto-driver)
Auto Pilot Air PlanesMilitary Drones
Robots
Humanoid Robot, e.g., ASIMO
Industrial Robots
Smart Buildings
www.technologytell.com
Software can make toilet time more convenient and funny!But let’s hope it works correctly…
Machine (hardware) can only work with machine code (0, 1)
What is Software Engineering? How Software can control/make machines work?
What is Software Engineering?
Quiz 1: What is difficult in software engineering?
serlab.wordpress.com
We have to do a lot of tests to make sure it works correctly!
davenicolette.wordpress.com
1. Software Engineering?
2. Software Engineering Research @ Simula: From Robotics to Biology
3. A scientific poem about my research!
Software Engineering Research @ Simula
Software Engineering Research @ Simula: Projects
Software Engineering Research @ Simula: Projects (cont.)
Demo Research Project 1: ABB Robotics
Demo Research Project 2: U-Test (An European Project)
Demo Research Project 3: FightHPV (Software Engineering with Biology to fight against Cancer)
FightHPV: Play and learn more about cells and viruses
The more you advance, the more knowledge you get!
FightHPV: Concepts to Characters
FightHPV Project Team
Quiz 2: Which part of this V-model is the research focus of Software Engineering group at Simula Research Lab?
Quiz 3: Is the research of Software Engineering group at Simula Research Lab only about Software Engineering?
1. Software Engineering?
2. Software Engineering Research @ Simula: From Robotics to Biology
3. A scientific poem about my research!
http://matt.might.net/articles/phd-school-in-pictures/
Software Engineering
Software Security Engineering
Secondary School
What does Research mean?
What my Research is about? What does Model-Driven Security (MDS) mean?
Why do we care about the security of software systems?
www.technologytell.com
newsrelease.lixil.co.jp
You don’t want someone hacks your toilet, do you?
A driver totally lost control of his car on the high way because someone successfully hacked the car’s software remotely…
software complexity increases exponentially where business complexity increases linearly. (Glass, 2002) (IfM and IBM, 2008) -- www.capgemini.com
dbstrat.com
Why making software secure is hard? Software systems are getting more complex.
http://blogs.vmware.com
Economic pressure reduces the development time…=> just no time to think about security!
http://www.theenterprisearchitect.eu/blog/2009/08/05/a-metaphor-for-model-driven-engineering/
JOHAN DEN HAAN
Model-Driven Engineering(MDE)
http://www.theenterprisearchitect.eu/blog/2009/08/05/a-metaphor-for-model-driven-engineering/
JOHAN DEN HAAN
Model-Driven Security (MDS)
www.sparxsystems.com
MDE & MDS: more productive, supposedly less error-prone.
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 we 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 :)
Quiz: What are the main sections of my scientific poem?
THREE take-home messages!
From Robotics to Biology, Smart Car or Smart Toilet, ALL are
empowered!
Phu Hong Nguyen & Safdar Aqeel (Software Engineering Department)
Bjørnegård school visit @ SimuladagenOctober 23rd, 2015