|
|
|
|
|
|
|
|
Antwerp Systems and software Modelling (AnSyMo)
|
|
|
|
|
|
Samenstelling
|
|
|
Krachtlijnen
|
Ansymo
|
|
Website
|
http://ansymo.ua.ac.be/
|
|
Projecten
|
Toon de projecten van deze onderzoeksgroep - Change-centric Quality Assurance (Cha-Q) (Changes as First Class Citizens during Software Development). 01/01/2013 - 31/12/2016
| Abstract | De belangrijkste wetenschappelijke doelstelling van dit onderzoeksproject is het construeren van nieuwe omgevingen en tools die veranderingsgedreven software ontwikkeling in de hand werken. Om deze doelstelling te valideren zal onderzocht worden hoe en of een veranderingsgedreven aanpak een positieve impact heeft op diverse gebruikersscenario''s. | | Looptijd | 01/01/2013 - 31/12/2016 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Concurrency in een machine model met ondersteuning voor multi-dimensional separation of concerns. 01/10/2012 - 30/09/2014
| Abstract | Dit project heeft als doel concurrency te bestuderen in het onderszoeksgebied van talen met ondersteuning
voor "multidimensional separation of concerns" (MDSOC), zoals aspect-, context- of feature-georiënteerde talen. Het toevoegen van MDSOC mechanismes die rekening houden met concurrency zal leiden tot MDSOC talen met meer expressiviteit en mogelijk hogere performantie, wat op zijn beurt van MDSOC talen een meer aantrekkelijk platform maakt om concurrente applicaties in te ontwikkelen. | | Looptijd | 01/10/2012 - 30/09/2014 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Optimalisatie en parallellisatie van real-time media-processing op ingebedde systemen door abstractie van software- en hardwaregedrag. 01/09/2012 - 31/08/2016
| Abstract | Dit project kadert in een onderzoeksopdracht tussen enerzijds UA en anderzijds IWT. UA levert aan IWT de onderzoeksresultaten genoemd in de titel van het project onder de voorwaarden zoals vastgelegd in voorliggend contract. | | Looptijd | 01/09/2012 - 31/08/2016 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Studie naar de interactie tussen automative software en zijn omgeving door middel van modellering en co-simulatie. 01/01/2012 - 31/12/2015
| Abstract | Tijdens de ontwikkeling van software-intensieve systemen, zoals automotive applicaties, is er nood aan simulatie om modellen en aannames te testen gedurende elke fase van het ontwikkelproces. Dit project onderzoekt technieken om efficiënt en correct co-simulaties van modelcomponenten uit te voeren.
De focus lift op co-simulatie van software componenten en hun omgeving. | | Looptijd | 01/01/2012 - 31/12/2015 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Impactanalyse van softwareonderhoud aan de hand van software traceability. 01/01/2012 - 31/12/2013
| Abstract | Dit project kadert in een onderzoeksopdracht tussen enerzijds UA en anderzijds IWT. UA levert aan IWT de onderzoeksresultaten genoemd in de titel van het project onder de voorwaarden zoals vastgelegd in voorliggend contract. | | Looptijd | 01/01/2012 - 31/12/2013 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Concurrency in een machine model met ondersteuning voor multi-dimensional separation of concerns 01/10/2010 - 30/09/2012
| Abstract | Dit project heeft als doel concurrency te bestuderen in het onderszoeksgebied van talen met ondersteuning
voor "multidimensional separation of concerns" (MDSOC), zoals aspect-, context- of feature-georiënteerde talen. Het toevoegen van MDSOC mechanismes die rekening houden met concurrency zal leiden tot MDSOC talen met meer expressiviteit en mogelijk hogere performantie, wat op zijn beurt van MDSOC talen een meer aantrekkelijk platform maakt om concurrente applicaties in te ontwikkelen. | | Looptijd | 01/10/2010 - 30/09/2012 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Migration to Service Oriented Architectures. 16/07/2010 - 31/08/2010
| Abstract | Het doel van het project is het extraheren van Osiris batch-flow informatie uit OPC files, het converteren van die informatie naar het MEGA CBD-UML formaat en die informatie importeren bovenop de bestaande MEGA documentatie. | | Looptijd | 16/07/2010 - 31/08/2010 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Impactanalyse van softwareonderhoud aan de hand van software traceability. 01/01/2010 - 31/12/2011
| Abstract | Dit project kadert in een onderzoeksopdracht tussen enerzijds UA en anderzijds IWT. UA levert aan IWT de onderzoeksresultaten genoemd in de titel van het project onder de voorwaarden zoals vastgelegd in voorliggend contract. | | Looptijd | 01/01/2010 - 31/12/2011 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Evolutie van Modelleertalen. 01/01/2010 - 31/12/2010
| Abstract | In modelgedreven ontwikkeling is evolutie alomtegenwoordig doorheen de levenscyclus van een complex software-intensief systeem, in het bijzonder hele productfamilies. Niet alleen instanties zijn onderhevig aan evolutie, maar ook modelleertalen zelf. Dit geldt in het bijzonder voor domeinspecifieke talen. Vandaag de dag gebeurt deze evolutie van modelleertalen manueel, met een lastige en foutgevoelige migratie van gerelateerde artefacten zoals instanties als resultaat. In dit project worden de verschillende evolutiescenario''s onderzocht voor uiteenlopende modelleer-artefacten, zoals instanties, metamodellen en transformatiemodellen. Vervolgens wordt evolutie in vier primitieve scenarios opgedeeld, die alle mogelijke vormen van evolutie omvatten. Deze structurele aanpak maakt het ontwerpen van (semi-)automatische oplossingen voor evolutie van modelleertalen mogelijk. | | Looptijd | 01/01/2010 - 31/12/2010 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Broncoderichtlijnen voor kritisch ingebedde systemen. 01/10/2009 - 30/09/2011
| Abstract | Dit project kadert in een onderzoeksopdracht tussen enerzijds UA en anderzijds IWT. UA levert aan IWT de onderzoeksresultaten genoemd in de titel van het project onder de voorwaarden zoals vastgelegd in voorliggend contract. | | Looptijd | 01/10/2009 - 30/09/2011 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Broncoderichtlijnen voor kritische ingebedde systemen (KriCode). 01/10/2009 - 30/09/2011
| Abstract | Dit project kadert in een onderzoeksopdracht tussen enerzijds UA en anderzijds IWT. UA levert aan IWT de onderzoeksresultaten genoemd in de titel van het project onder de voorwaarden zoals vastgelegd in voorliggend contract. | | Looptijd | 01/10/2009 - 30/09/2011 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Refactoren in talen met ondersteuning voor multi-dimensional separation of concerns. 01/10/2009 - 30/09/2010
| Abstract | Dit project heeft als doel refactoring te bestuderen voor talen met ondersteuning voor "multi-dimensional separation of concerns" (MDSoC), waaronder aspectgeoriënteerde en contextgeoriënteerde talen. MDSoC talen bieden krachtige constructies om software op een betere manier op te delen in verschillende concerns, waardoor het makkelijker wordt om software te ontwikkelen en te onderhouden. | | Looptijd | 01/10/2009 - 30/09/2010 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Wetenschappelijke opdracht over Mining Software Repositories aan de Universiteit van Zurich. 01/08/2009 - 31/01/2010
| Abstract | Geen abstract gevonden | | Looptijd | 01/08/2009 - 31/01/2010 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Studie van de technische impact van de AUTOSAR-standaarden op de voertuigsoftware. 01/10/2008 - 28/02/2013
| Abstract | Binnen de voertuigelektronica neemt software een steeds prominentere plaats in. Het AUTOSAR consortium tracht dit te stroomlijnen, maar de technische impact van hun standaarden is niet voldoende gekend. Daarom zullen we de technische voetafdruk van deze standaarden onderzoeken. Dit zal leiden tot efficiënter performantie- en geheugengebruik van de embedded voertuigsystemen. | | Looptijd | 01/10/2008 - 28/02/2013 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Het transformeren van Human Interface Designs via Model-driven Engineering. 01/01/2008 - 31/12/2011
| Abstract | Binnen dit onderzoek staan drie onderzoeksvragen centraal:
-Formele Semantiek. Wat is de best mogelijke manier om de semantiek van een taal voor taakmodellen (zoals ConcurTaskTrees) formeel vast te leggen?
-Correctheid. Kunnen we, gebaseerd op een formele semantiek, de correctheid van transformaties van taakmodellen aantonen?
-Kwaliteitseigenschappen. Kunnen we nuttige kwaliteitseigenschappen over deze transformaties aantonen? | | Looptijd | 01/01/2008 - 31/12/2011 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Optimized MP-SoC Middleware for Event-driven Applications. 01/01/2008 - 31/12/2011
| Abstract | Dit project kadert in een onderzoeksopdracht tussen enerzijds UA en anderzijds IWT. UA levert aan IWT de onderzoeksresultaten genoemd in de titel van het project onder de voorwaarden zoals vastgelegd in voorliggend contract. | | Looptijd | 01/01/2008 - 31/12/2011 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Van specifieke sturing naar generiek stuurplatform (VOLGES). 29/10/2007 - 28/10/2009
| Abstract | Geen abstract gevonden | | Looptijd | 29/10/2007 - 28/10/2009 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Fundamental Issues in Software Engineering: Modelling, Verification and Evolution of Software. (MoVES) 01/01/2007 - 31/12/2011
| Abstract | Software intensieve systemen behoren tot de meest complexe objecten ooit gebouwd. Tijdens de ontwikkeling van dergelijke systemen is het gebruik van rigoureuze modellen en analyse methodes essentieel om te garanderen dat deze software aan zijn behoeftes voldoet en de gevraagde eigenschappen bezit (vb., veiligheid, robuustheid, betrouwbaarheid, consistentie). Tegelijkertijd, moeten deze systemen zich constant aanpassen aan veranderende behoeftes en technologie. Ze moeten met andere woorden evolueren doorheen de tijd zonder daarom hun essentiële eigenschappen te verliezen.
Dit project verbindt de leidende Belgische onderzoeksgroepen in Software Engineering, met erkende expertise in model-driven engineering (MDE), software evolutie, formele modellen en verificatie (FMV) en aspectgerichte software ontwikkeling (AOSD). Het project heeft tot doel de state-of-the art in elk van die domeinen vooruit te helpen. Op lange termijn moet het netwerk bestaande samenwerkingen versterken and nieuwe samenwerkingen mogelijk maken om ons onderzoek op Europese schaal te verspreiden. | | Looptijd | 01/01/2007 - 31/12/2011 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- "Separation of Concerns" bij Hoog-Niveau Softwaremodellen. 01/10/2006 - 30/09/2008
| Abstract | De doelstelling van dit project is het uitwerken van weaving technieken op modelniveau, vertrekkende van het werk over modeltransformaties binnen MDA. | | Looptijd | 01/10/2006 - 30/09/2008 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Leerstoel "Migration to Service Oriented Architectures". 01/09/2006 - 31/12/2010
| Abstract | Dit project beoogt een kennis- en ervaringsuitwisseling omtrent migraties naar een service-oriented architectuur. Dit project zal resulteren in een handboek waarin de ervaringen worden gedocumenteerd en een leerstoel met 8-tal lezingen door Universiteit Antwerpen en KBC_ICT. | | Looptijd | 01/09/2006 - 31/12/2010 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Richtlijnen ter verbetering van het testproces tijdens software onderhoud. 01/01/2006 - 31/12/2006
| Abstract | Het doel van dit project is het opstellen van een efficient proces voor het onderhouden van software tests, waarbij gedetecteerde problemen in de test code aan de hand van testonderhoudspatronen worden opgelost. Het primaire scenario dat we daarbij voor ogen houden is een selectieve verbetering van de test code als onderhoudsstap alvorens een change request te implementeren. | | Looptijd | 01/01/2006 - 31/12/2006 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Software evolution, refactoring of operational & usable systems (ITEA SERIOUS) 01/09/2005 - 31/08/2008
| Abstract | De zogenaamde "Embedded" systemen worden de laatste jaren steeds complexer, meer divers en stelselmatig uitgebreid met nieuwe functionaliteit. Ten gevolge daarvan is de software constant aan het evolueren: binnen Alcatel Bell geld een gemiddelde van 10.000 lijnen code die per week veranderen. Jammer genoeg heeft een dergelijk veranderingsritme een nefast effect op het oorspronkelijk goed ontworpen en goed gedocumenteerd systeem en veranderd het onherroepelijk in een nachtmerrie voor degene die het geheel moeten onderhouden.
De software engineers bij Alcatel Bell, gebruiken gecertificeerde ontwikkelprocessen die overeenstemmen met CMM niveau 3. Desalniettemin is het duidelijk dat hun ontwikkelprocessen niet goed omkunnen met de lange termijn evolutie van hun software. Vaak veroorzaken geplande uitbreidingen aan de functionaliteit onverwachte fouten, ontwerp anomalieën en inconsistente documentatie. Daarom wil het SERIOUS project processen, methodes, metrieken en werktuigen ontwikkelen die de kwaliteit van software tijdens zijn evolutie, minstens bewaren en zo het kan verbeteren.
In Belgie zijn de project partners Alcatel Bell (http://www.alcatel.be/) en de Universiteit Antwerpen. Maar dit lokaal consortium doet mee in een groter ITEA consortium met andere bedrijven in Europa zoals Philips en Nokia. | | Looptijd | 01/09/2005 - 31/08/2008 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- International workshop on principles of software evolution. 01/09/2005 - 30/09/2005
| Abstract | Geen abstract gevonden | | Looptijd | 01/09/2005 - 30/09/2005 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Workshop on Object-Oriented reengineering. 01/06/2005 - 30/09/2005
| Abstract | Geen abstract gevonden | | Looptijd | 01/06/2005 - 30/09/2005 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Formele ondersteuning voor transformatie van software modellen. 01/01/2005 - 31/12/2008
| Abstract | Geen abstract gevonden | | Looptijd | 01/01/2005 - 31/12/2008 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- "Separation of Concerns" bij Hoog-Niveau Softwaremodellen. 01/10/2004 - 30/09/2006
| Abstract | Geen abstract gevonden | | Looptijd | 01/10/2004 - 30/09/2006 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Wetenschappelijk advies omtrent het IWT-project "Ebusiness in de farmaceutische zorg : ontwikkeling van een webtoegankelijk dienstenmodel door re-engineering en integratie van de backoffice". 20/02/2004 - 31/08/2004
| Abstract | Wetenschappelijk advies omtrent het IWT-project "Ebusiness in de farmaceutische zorg : ontwikkeling van een webtoegankelijk dienstenmodel door re-engineering en integratie van de backoffice". | | Looptijd | 20/02/2004 - 31/08/2004 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Ontwikkeling van energie-bewuste software aanpassingstechnieken voor embedded systemen. 01/02/2004 - 31/12/2005
| Abstract | Het doel van dit onderzoek is de ontwikkeling van nieuwe heuristieken en werktuigen voor het meten en optimaliseren van het vermogen en geheugenverbruik van een embedded software systeem. De ontwikkelde heuristieken en werktuigen richten zich op een zo hoog mogelijk abstractieniveau en hebben als specifiek doel het exploreren van de datastructuren gebruikt binnen het embedded software systeem. | | Looptijd | 01/02/2004 - 31/12/2005 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Een formele basis voor "software refactoring". 01/10/2003 - 31/12/2006
| Abstract | Het doel van het project bestaat erin een formele basis voor software refactoring te leggen door de ontwikkeling van een geschikt formeel model. We mikken op een ''lichtgewicht'' model dat zowel de studie van de fundamentele eigenschappen van refactoring moet mogelijk maken als het ontwerp van ''tools'' om het refactoring proces te ondersteunen. Meer bepaald zal het potentieel van grafherschrijfsystemen als basis voor zo een model geëxploreerd worden. Dit moet leiden tot, bv., methoden voor de detectie van conflicten tussen refactorings, en voor de optimalisering van refactoring processen. Verder zal er een antwoord worden gezocht op de belangrijke vraag of een gegeven verzameling van refactorings toelaatbaar is in de zin dat het gedrag van het programma bewaard blijft. Deze vraag komt in het formeel model overeen met de vraag om eigenschappen te karakteriseren die bewaard worden door een verzameling van herschrijfregels. Andere belangrijke aspecten die aan bod zullen komen zijn enerzijds de complexiteit van refactorings, die bestudeerd kan worden in termen van het aantal herschrijfregels dat moet toegepast worden, eventueel gecombineerd met de grootte van de grafen die erbij betrokken zijn, en anderzijds het probleem van de consistentie tussen verschillende niveaus van abstractie, waar men kan denken aan de toepassing van hiërarchische grafen. | | Looptijd | 01/10/2003 - 31/12/2006 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- ARRIBA : Architecturale middelen voor het herstructureren en integreren van software applicaties. 01/10/2003 - 30/09/2006
| Abstract | Het doel van dit project is een methodologie ondersteund door werktuigen uit te bouwen, waarmee losstaande software applicaties die niet ontworpen werden om samen te werken desondanks geïntegreerd kunnen worden. Dit project is geïnspireerd op reëele behoeften zoals vastgesteld door enkele onderzoekspartners binnen het consortium, waarbij in een representatief aantal kleine en grote Belgische software bedrijven gepeild werd naar de voornaamste ICT problemen. | | Looptijd | 01/10/2003 - 30/09/2006 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Syntactische en Semantische Integratie van Visuale Modelleringstechnieken. (SegraVis) 01/10/2003 - 30/09/2006
| Abstract | Zowel in software engineering als in meer klassieke ingenieurs-disciplines heeft het
gebruik van visuele notaties, bv. voor documentatie of voor communicatie met eindgebruikers,
een lange traditie. Gedreven door de toenemende complexiteit van de problemen zijn die notaties
steeds verder uitgewerkt, en zijn zij geevolueerd tot visuele modelleringstechnieken, ondersteund
door gespecialiseerde programma''s. Twee van de meest succesvolle klassen van visuele modelleringstechnieken vormen de focus van het project: enerzijds UML, en anderzijds technieken
gebaseerd op grafen en netten. Een algemeen paradigma voor de klassificatie en integratie ervan
is nodig, dat moet helpen om semantische variaties expliciet te maken en dat moet toelaten ''tools''
te genereren vanuit de formele taaldefinities. Het doel van het project bestaat erin zo een paradigma
te ontwikkelen, de toepasbaarheid ervan te demonstreren, en visuele modelleringstechnieken te
verbeteren voor specifieke toepassingsgebieden. | | Looptijd | 01/10/2003 - 30/09/2006 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Onderzoeksnetwerk omtrent Software Evolutie (RELEASE). 01/10/2003 - 31/12/2004
| Abstract | De studie van software evolutie is vandaag de dag essentieel geworden om te verzekeren dat kritische informatica-systemen betrouwbaar functioneren doorheen hun levenscyclus. Dit netwerk creert daarvoor een multi-disciplinair raamwerk nodig om het onderzoek terzake op pan-europese schaal te organiseren en stimuleren. Meer precies zal het netwerk (a) pogen een algemene theorie omtrent software evolutie te formuleren (gelijkaardig aan de theorieen die andere wetenschappelijke disciplines ondersteunen); (b) benchmarks ontwikklene om de validiteit van wetenschappelijke experimenten te verbeteren. Dit netwerk bouwt voort op een bestaand kleinschalig netwerk rond software evolutie gesponsord door het FWO. | | Looptijd | 01/10/2003 - 31/12/2004 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
- Fundamenten van software-evolutie. 01/10/2003 - 31/12/2005
| Abstract | Geen abstract gevonden | | Looptijd | 01/10/2003 - 31/12/2005 | | Onderzoeker(s) | | | Onderzoeksgroep(en) | |
(toelichting
bij de getoonde projecten)
|
|
Expertise
|
Toon de expertise van deze onderzoeksgroep- Demeyer Serge
- Janssens Dirk
|
|
|
|
|
|
|
|
|