modeling and vericaon of func.onal and non func.onal...
TRANSCRIPT
![Page 1: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/1.jpg)
ModelingandVerica.onofFunc.onalandNonFunc.onalRequirementsforAmbientSelfAdap.veSystems
ManzoorAhmad,NicolasBelloir,Jean-MichelBruel
JournéesduGDRGPL2016,Besançon,10juin20161
![Page 2: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/2.jpg)
Plan
Generalapproach
ModelingandVerifica5onofFunc5onalandNonFunc5onalRequirementsofAmbient,Self-Adap5veSystems
UsingRelaxinaSecurityRequirementselicita5onprocessforSoS
Perspec5vesandconclusion
![Page 3: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/3.jpg)
3 JournéesduGDRGPL2016 10juin2016
Howtoimproveprojectsuccess?
The Standish Group CHAOS Report
“inappropriateRequirements Engineeringis one of the mostimportant reasons forprojectfailures”
“Currently, the MBSEprocess and methods aregenerallyprac.cedinanadhoc manner and notintegrated into the overallsystems engineeringprocesses”
![Page 4: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/4.jpg)
4 JournéesduGDRGPL2016 10juin2016
RoadMap
Mainidea «beYertakeintoaccountaboutextra-func.onalrequirementshelpstobeYerintegrateitinspecifica.onprocess»
Focusonthefollowingextra-func5onalrequirements Adapta.on «Systemswillbedesignedforcon.nuousadapta.on,whichwills.mulategreateruseofoff-the-shelfcomponents»[SEVision2020]
Security Objec.vein2025:«Systemsengineeringrou.nelyincorporatesrequirementstoenhancesystemsandinforma.onsecurityandresiliencytocyberthreatsearly»[SEVision2025]
Integrateintoamodel-basedprocess Elicita.onanddesignofrequirements
Targetlanguage:SysML
![Page 5: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/5.jpg)
5 JournéesduGDRGPL2016 10juin2016
WhySysML?
LanguageforSystemEngineering DefinedbyOMGandINCOSE
Specifica5onofcomplexsystemsandsystems-of-systems
Successfullyusedbyindustrials
A350,Ariane5,…
Lotofexis.ngandadaptabletools desing,documentgenera.ons,simula.ons
Assoc ia5on SysML-F rance
Encouragerlesdiscussionsetlesretoursd’expériencesurSysMLdanslacommunautéfrancophone
hYp://www.sysml-france.fr/
2016:intégra.onàl’AFIS
![Page 6: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/6.jpg)
Plan
Generalapproach
ModelingandVerifica5onofFunc5onalandNonFunc5onalRequirementsofAmbient,Self-Adap5veSystems
UsingRelaxinaSecurityRequirementselicita5onprocessforSoS
Perspec5vesandconclusion
![Page 7: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/7.jpg)
7 JournéesduGDRGPL2016 10juin2016
Localiza.oninageneraldesignprocess
Stakeholdersneeds
RequirementDesign
Requirementselicita.on
Systemspecifica.on
Proper.esverifica.on
Valida.onOK
![Page 8: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/8.jpg)
8 JournéesduGDRGPL2016 10juin2016
Localiza.oninageneraldesignprocess
Stakeholdersneeds
FocusonNFRs
ConceptualworkonNFRsRequirementDesign
Requirementselicita.on
Systemspecifica.on SysMLSpecifica.on
Proper.esverifica.on
Valida.onOK
![Page 9: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/9.jpg)
9 JournéesduGDRGPL2016 10juin2016
RELAX[WhiYleandall,RE,2009]
RequirementsEngineeringlanguageforSelfAdap.veSystems
FocusonSHALLstatements
Hypothesis: NotalwayspossibletoachieveallSHALLstatements
Needtorelaxnoncri.calrequirements
![Page 10: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/10.jpg)
10 JournéesduGDRGPL2016 10juin2016
RELAXOperators
![Page 11: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/11.jpg)
11 JournéesduGDRGPL2016 10juin2016
Illustra.on
Thesynchroniza.onprocessSHALLbeini.atedwhenAliceenterstheroomandat30minuteintervalsthereaqer
RELAXProcess
Thesynchroniza.onprocessSHALLbeini.atedASEARLYASPOSSIBLEAFTERAliceenterstheroomandASCLOSEASPOSSIBLETO30minuteintervalsthereaqerENV:loca.onofAlice;synchroniza.oninterval.MON:mo.onsensors;networksensorsREL:mo.onsensorsprovideloca.onofAlice;networksensorsprovidesynchroniza.oninterval
![Page 12: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/12.jpg)
12 JournéesduGDRGPL2016 10juin2016
RELAXProcess
![Page 13: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/13.jpg)
13 JournéesduGDRGPL2016 10juin2016
RelaxEditor
RelaxGrammar
XtextEditor
Modelsample
![Page 14: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/14.jpg)
14 JournéesduGDRGPL2016 10juin2016
Localiza.oninageneraldesignprocess
Stakeholdersneeds
FocusonNFRs
ConceptualworkonNFRsRequirementDesign
Requirementselicita.on
Systemspecifica.on SysMLSpecifica.on
Proper.esverifica.on
Valida.onOK
![Page 15: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/15.jpg)
15 JournéesduGDRGPL2016 10juin2016
Conceptualworkonrequirements
UseofGoalOrientedRequirementsEngineeringmethod
Kaos SysML/Kaos
Intermediarystep
GoalOrientedModeling
requirementselicita.on SystemModeling
![Page 16: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/16.jpg)
16 JournéesduGDRGPL2016 10juin2016
DeKaosàSysML/Kaos
ATLModelTransforma.on
Collabora.onwithJoaoAraujoandJean-MichelBruel
![Page 17: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/17.jpg)
17 JournéesduGDRGPL2016 10juin2016
Tabledescorrespondances
![Page 18: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/18.jpg)
18 JournéesduGDRGPL2016 10juin2016
ExploiterunepropriétérelâchéeenSysMLKaos
SysML/Kaosmmdl
SysML/Kaoseditor
SysML/Kaosmodels
![Page 19: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/19.jpg)
19 JournéesduGDRGPL2016 10juin2016
RèglesATL
MetaModels
Rules
![Page 20: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/20.jpg)
20 JournéesduGDRGPL2016 10juin2016
Synthe.cviewoftheapproach[M.Ahmad]
Requirements
SystemDesign
Relax InvariantRequirements
RelaxedRequirements
RELAXCOOLEditor
Conver.ngRelaxedRequirementstoGoals
RelaxedRequirementsintheformofGoals
Relax2SysMLKaosEditor
ATLRules
ModelingwithSysMLKaos
Validated
???
Legend
Processus
Doc.
Tool
![Page 21: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/21.jpg)
21 JournéesduGDRGPL2016 10juin2016
Localiza.oninageneraldesignprocess
Stakeholdersneeds
FocusonNFRs
ConceptualworkonNFRsRequirementDesign
Requirementselicita.on
Systemspecifica.on SysMLSpecifica.on
Proper.esverifica.on
Valida.onOK
![Page 22: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/22.jpg)
22 JournéesduGDRGPL2016 10juin2016
OMEGA2/IFx[Ober&all,2012]
OMEGA2isanexecutableUML/SysMLprofile[OMEGA2IFx12]
formalspecifica.on&Valida.onofcri.calreal-.mesystems
clearandcoherentopera.onaland.medseman.cs.
Containthemainconstructsformodeling: systemstructure(class/block,internalblock)
systembehavior(statemachine) definesasetofwell-formednessrules->strongtypinglanguage
Operational semantics of OMEGA2 asynchronous timed execution model class/block represented by a timed input/output automata, communicating via asynchronous operation calls and signals.
![Page 23: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/23.jpg)
23 JournéesduGDRGPL2016 10juin2016
OMEGA2Observers
Observers Forspecifyingandverifyingdynamicproper.es
Specialclasses/blocksmonitoringrun-.mestatesandevents Statemachinedescribestheirbehavior
toexpressthe(non)sa.sfac.onofsafetyproper.esStatesareclassifiedas <<success>> <<error>>
![Page 24: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/24.jpg)
24 JournéesduGDRGPL2016 10juin2016
Proper.esVerifica.on&Simula.onusingIFx
IfxToolsetallows
Verifica.onofproper.esonOMEGA2models automa.cprocessofverifyingwhetheranOMEGA2modelsa.sfies(someof)theproper.es(i.e.observers)definedonit
basedonsystema.cexplora.onofthesystemstatespace(i.e.ModelChecking)
SimulateOMEGA2models interac.veexecu.onofOMEGA2models
guidedbyasimula.onscenario(e.g.ErrorScenario)
![Page 25: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/25.jpg)
25 JournéesduGDRGPL2016 10juin2016
Intelligenthouse-IUTdeBlagnacASelf-Adap.veSystem
![Page 26: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/26.jpg)
26 JournéesduGDRGPL2016 10juin2016
Vérifica.ondespropriétésviaOMEGA2/IFx[Simultech2013]
AAL Main IBD
Fridge IBD
![Page 27: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/27.jpg)
27 JournéesduGDRGPL2016 10juin2016
Modélisa.onetvérifica.ondespropriétésrelâchéesenu.llisantdesobservers
ErrorStates
![Page 28: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/28.jpg)
28 JournéesduGDRGPL2016 10juin2016
Vuesynthé.quedel’approche
Requirements
SystemDesign
Relax InvariantRequirements
RelaxedRequirements OMEGA2IFx
ObserverModeling
Observers(statesmachines)
OMEGA2IFx
Validated
???
Integra.ngRelaxedRequirementtoSystemDesign
Process
![Page 29: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/29.jpg)
Plan
Generalapproach
ModelingandVerifica5onofFunc5onalandNonFunc5onalRequirementsofAmbient,Self-Adap5veSystems
UsingRelaxinaSecurityRequirementselicita5onprocessforSoS
Perspec5vesandconclusion
![Page 30: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/30.jpg)
30 JournéesduGDRGPL2016 10juin2016
RelaxingSecurityrequirementswithinSoS
Mari5mesafetyandsecuritycasestudy*
Focusoninforma5onaccesscontrol
![Page 31: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/31.jpg)
31 JournéesduGDRGPL2016 10juin2016
TheOrBACModel
Organiza.onbasedAccessControl:OrBAC allowthepolicydesignertodefineasecuritypolicyindependentlyoftheimplementa.on
Availabletool:motOrBAC
PredicateSamples: permission(org,role,acJvity,view,context)
prohibiJon….
![Page 32: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/32.jpg)
32 JournéesduGDRGPL2016 10juin2016
RelaxingSecurityrequirementswithinSoS
Workinprogress
![Page 33: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/33.jpg)
33 JournéesduGDRGPL2016 10juin2016
Mari.mesafetyandsecuritycasestudy
Textualsecurityrequirementssamples Msc2:OperatorsonvesselsoftheEU_NAVFORwhichareassignedtothepreven.onofcriminalac.vi.es(orsimilartasks)canaccessaddi.onal“offtherecord“informa.onaboutshipswhichhasbeengatheredduringtheopera.on.
Msc3:OperatorsonSARvesselscer.fiedbyEU_NAVFORmemberscanaccessalltheinforma.onaboutashipincaseofemergency.
ORBACtransla.on(manual) Msc2:permission(EU_NAVFOR,EU_Lawenforcement,read_info,private_info,default_context);
Msc3:permission(EU_NAVFOR,EU_SAR,read_info,all_info,emergency);
![Page 34: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/34.jpg)
34 JournéesduGDRGPL2016 10juin2016
AMDEbasedprocess
Metamodelsandtransforma.onchains
![Page 35: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/35.jpg)
35 JournéesduGDRGPL2016 10juin2016
Mari.mesafetyandsecuritycasestudy
Relaxingsecurityreqstolimittheirconflicts
RelaxedMsc2andMsc3:
Privateinforma.onMAYbereadbyshipsthatareexecu.ngataskoffigh.ngagainstcrimeORbySARshipsincaseofemergency.
ENV:fightagainstcrime(FAC),accesstoprivateinforma.on(API)
MON:Aggressionlevel(AL),Accessrules(AR)
REL:FAC=(AL>10?true;false);API=select∗fromARwhere...
DEP:ithasaposi.vedependencyonMsc1-2.
![Page 36: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/36.jpg)
Plan
Generalapproach
ModelingandVerifica5onofFunc5onalandNonFunc5onalRequirementsofAmbient,Self-Adap5veSystems
UsingRelaxinaSecurityRequirementselicita5onprocessforSoS
Perspec5vesandconclusion
![Page 37: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/37.jpg)
37 JournéesduGDRGPL2016 10juin2016
Conclusion
Workissuitedinearlyrequirementanalysisphase
Targe.ngoncomplexsystemsandsystemsofsystems
Focusmadeonextra-func.onalrequirements Adaptability Security
UsingMDEconcepts
SysMLasspecifica.onlanguage
![Page 38: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/38.jpg)
38 JournéesduGDRGPL2016 10juin2016
Perspec.ves
Shortterm Formalizingacollabora5veprocessclearlydescribinghowtousetheapproach
Developingindustrialstudyforevalua.ngrealapplicabilityoftheapproach
Middleterm BeYerdefiningrequirements.Ok,butaqerthat? Connectwhatwecanformalizewithinotherwell-usedapproaches
ForsecurityNFRs,linkwithSysML-Sec[(LudovicApvrille]
ConsequencesonSoSarchitectures UseofspecificpaWerns?
ProjectfocusingonsecurityforCyber-PhysicalSystemswithMandragoneUniversity,BrooxesUniversity,…
![Page 39: Modeling and Vericaon of Func.onal and Non Func.onal ...mosser/_media/research/glace/2016/gpl_belloir.pdf · and Non Func.onal Requirements for Ambient Self Adap.ve Systems Manzoor](https://reader035.vdocuments.us/reader035/viewer/2022062600/5a709f2f7f8b9aa7538c313a/html5/thumbnails/39.jpg)
Ques.ons?
ManzoorAhamd,NicolasBelloiretJean-MichelBruel.«Modelingandverifica/onofFunc/onalandNon-Func/onalRequirementsofambientSelf-Adap/veSystems».JournalofSystemsandSoVware,Volume107,pages50-70,sept2015.
NicolasBelloir,VaneaChiprianov,ManzoorAhmad,ManuelMunier,LaurentGallonandJean-MichelBruel.«UsingRelaxOperatorsintoanMDESecurityRequirementElicita5onProcessforSystemsofSystems».2ndInterna/onalworkshoponSoEwareEngineeringforSystems-of-systems,inthefieldof8thEuropeanConferenceonsoEwareArchitecture,Vienna,Autria,26August2014.ACMDigitalLibrary