Ontwerp en analyse van embedded systemen (2R770)
Laatste updatedatum: 1 mei 2002
Docent: J.F. Groote
3de trimester 2001/2002, maandag 3/4 uur Ma 1.43. Eerste bijeenkomst
8 april, 2002.
Afronding dmv. opdracht, die bestaat uit het ontwerpen van een
control systeem voor sluizen naar de vacuumkamers van de nieuwe generatie ASML
wafersteppers. Dit vak staat voor twee studiepunten.
Literatuur:
Notitie over accounts
Het BCF heeft accounts aangemaakt op het Linux-systeem "gazelle".
De homedirectories staan op svstud en die zijn van toepassing op gazelle.
De passwords zijn gelijk gemaakt aan die op svstud.
Wie zijn password wil wijzigen moet dat op zowel svstud als gazelle doen.
Twee gebruikers, zie bijlage, hebben nog nooit een account op svstud gebruikt.
Voor svstud kan het password bij de helpdesk ingesteld en geopend worden,
voor gazelle moet BCF dat doen (Vincent Huijgen, Martijn Vernooij).
Sommige accounts hebben in .login of .cshrc een verwijzing naar een
/etc/bcflogin die op gazelle niet bestaat en die op svstud niet meer nodig is.
Bij inloggen op gazelle zal een waarschuwing verschijnen, dan moet
de gebruiker die verwijzing weghalen.
Een standaard account op svstud kan werken met een lege
.login, .cshrc en .tcshrc .
Aanwijzingen voor gebruik van een grafische omgeving staan op
https://www.win.tue.nl/bcf/documentatie/unix/exceed/index.php.
Dit is van toepassing op zowel svstud (Solaris) als gazelle (Linux) .
Bijlage: accounts
s002167 ID 503949, nieuw account op svstud
s012008 ID 522425, heeft account nog nooit gebruikt
s434018
s442864
s446058
s447236
s448073
s454906
s455423
s455830
s456927
s458238
s461586
s500376
s430088
s413018
s419274
s450424
Gebruik van de toolsets
De mcrl toolset kan gebruikt worden op vrijwel alle linux machines van
de faculteit (ik raad gebruik van de gazelle.win.tue.nl aan), maar
het kan ook apart worden geinstalleerd. De mcrl homepagina
bevat de mogelijkheid om een stabiele, wat oudere versie of een zeer
up to date versie, die mogelijk problemen bevat, te downloaden. Installeren
gaat met de commando's ./configure en gmake install. De binaries zijn eveneens
te vinden in de directory /home/jfg/MCRL/bin en kunnen daarvandaan in principe
probleemloos geexecuteerd worden. In het geval zich problemen voordoen,
kunnen die het beste per mail aan mij worden voorgelegd (J.F.Groote@tue.nl).
De belangrijkste commando's zijn mcrl, die de syntax en semantiek van een
mcrl file checkt en fouten meedeelt. Het commando mcrl -tbf file vertaalt
de mcrl file `file' naar een lineair proces in de file `file.tbf'. Hierop
zijn simulatoren (msim), statespace generatoren (instantiator) en symbolisch
manipuloren (constelm, parelm, etc.) van toepassing.
Het is ook mogelijk om gebruik te maken van de Caesar/Aldebaran toolset.
Deze werkt alleen op de pclin015.win.tue.nl omdat er alleen voor deze machine
een license aanwezig is.
Hiertoe moeten de volgende commando's bij het inloggen worden uitgevoerd:
setenv CADP ~jfg/CADP
setenv CADP_LANGUAGE english
setenv CADP_CC "gcc -I/usr/include"
setenv CADP_TMP /tmp
setenv CADP_PS_VIEWER ghostview
setenv EDITOR vi
setenv NAVIGATOR netscape
alias arch $CADP/com/arch
setenv FC2DIR ~jfg/FC2
Verder moet
{$CADP}/com en {$CADP}/bin.`arch`
aan het pad worden toegevoegd. De
home pagina van de toolset biedt zeer veel informatie, inclusief
de mogelijkheid om de toolset te downloaden. Hiervoor moet wel
separaat de (gratis) licentie worden aangevraagd. Dit kost ca. een
week.
Assignment for april 21
In order to gain experience with the toolset, it is requested to model
a simple embedded system (say a stopwatch) which must be simulated. As proof
that this assignment will have been properly executed the mcrl description of
this embedded system must be handed in by each group.
Visit to ASML
The visit to ASML will take place in building 1 (contrary to building 7
as I stated during the last lecture). Room 1B0013. De run 1110. Veldhoven.
This is the pyramid shaped building close to the highway around Eindhoven.
The meeting starts at 14:00 and will end at approximately 17:00. Our hosts
are Remco van Engelen and Barend van den Nieuwelaar. I (=Jan Friso) will go
there by bike and leave at 13:20 at the south entrance of the Hoofdgebouw.
I informed ASML that 12 persons will visit them, being groups B,C,D and Q.
Presentation from ASML
The sheets presented by ASML referring to the assignment are here
in powerpoint format.
Terug