< Terug naar vorige pagina

Onderzoeker

Lucas Albertins de Lima

  • Onderzoeksexpertise:Mijn belangrijkste onderzoeksinteresse is System/Software Engineering met de nadruk op V&V-technieken, systeemmodellering/-ontwerp en formele methoden. Ik heb met name ervaring met het toepassen van formele redeneringstechnieken, voornamelijk modelchecking, om UML/SysML-gedragsmodellen te verifiëren. Ik ben ook geïnteresseerd in aspecten van modelbeheer, zoals het beter opslaan, opvragen en verifiëren van modelartefacten, rekening houdend met de workflows in het systeemontwikkelingsproces.
  • Trefwoorden:SYSTEEMANALYSE, FORMELE METHODEN, ONTWERPEN VOOR GEDRAG, ONTOLOGIEËN, MODELGEBASEERD ONTWERP, MODELLERING, MODELGEDREVEN TECHNIEKEN, VALIDATIE, Informatica
  • Disciplines:Modellering niet elders geclassificeerd, Aeronautische ingenieurskunde, Astronautische ingenieurskunde, Luchtvaartelektronica, Automobielingenieurskunde niet elders geclassificeerd, Computer aided engineering, simulatie en design
  • Onderzoekstechnieken:Ik heb onderzoek gedaan naar systeemontwerpmodellen, met name gedragsmodellen, b.v. activiteiten, interacties en toestandsmachines, de meeste in de context van SysML en UML. Ook heb ik gewerkt met procesalgebra's, met name CSP, om formele semantiek te definiëren voor semi-formele modelleringstalen die gericht zijn op eigendomsverificatie. De laatste tijd houd ik me ook bezig met onderzoek naar modelmanagementaspecten, waarbij ik voornamelijk gebruik maak van ontologie-gerelateerde technieken ter ondersteuning van modelmanagementprocessen.
  • Gebruikers van onderzoeksexpertise:Software-/systeemingenieurs en -ontwerpers.