SIGNAL (programming language)
SIGNAL એ સમન્વયિત ડેટા-ફ્લો (ફ્લો + સિંક્રોનાઇઝેશન) પર આધારિત એક પ્રોગ્રામિંગ લેંગ્વેજ છેઃ પ્રક્રિયા એ ડેટા અને નિયંત્રણ બંનેનું વર્ણન કરતા પ્રાથમિક પ્રવાહો પરના સમીકરણોનો સમૂહ છે. SIGNAL ઔપચારિક મોડેલ અનેક ઘડિયાળો (પોલિક્રોનસ સિસ્ટમો) સાથેની સિસ્ટમોને સંબંધિત સ્પષ્ટીકરણો તરીકે વર્ણવવાની ક્ષમતા પ્રદાન કરે છે. સંબંધો આંશિક સ્પષ્ટીકરણો તરીકે અને બિન-નિર્ધારિત ઉપકરણો (દાખલા તરીકે બિન-નિર્ધારિત બસ) અથવા બાહ્ય પ્રક્રિયાઓ (દાખલા તરીકે અસુરક્ષિત કાર ચાલક) ની વિશિષ્ટતાઓ તરીકે ઉપયોગી છે. SIGNAL નો ઉપયોગ એપ્લિકેશનને સ્પષ્ટ કરવા, આર્કિટેક્ચર ડિઝાઇન કરવા, વિગતવાર ઘટકોને RTOS અથવા હાર્ડવેર વર્ણન સુધી સુધારવા માટે પરવાનગી આપે છે. SIGNAL મોડેલ ડિઝાઇન પદ્ધતિને ટેકો આપે છે જે સ્પષ્ટીકરણથી અમલીકરણ સુધી, એબ્સ્ટ્રેક્શનથી કોંક્રિટાઇઝેશન સુધી, સિંક્રોનીથી એસિંક્રોની સુધી જાય છે. SIGNAL મુખ્યત્વે 1980ના દાયકાથી INRIAEspresso ટીમમાં વિકસાવવામાં આવ્યું છે, તે જ સમયે સમાન પ્રોગ્રામિંગ ભાષાઓ, એસ્ટેરેલ અને લસ્ટર તરીકે. સંક્ષિપ્ત ઇતિહાસ સંકેત ભાષાની રચના સૌપ્રથમ 1980ના દાયકાની શરૂઆતમાં સંકેત પ્રક્રિયા કાર્યક્રમો માટે કરવામાં આવી હતી. સિગ્નલ પ્રોસેસિંગ એપ્લિકેશન્સની ડિઝાઇન માટે નવી ડોમેન-વિશિષ્ટ ભાષાની માંગનો જવાબ આપવા માટે, એરે અને સ્લાઇડિંગ વિન્ડો ઓપરેટરો સાથે ડેટાફ્લો અને બ્લોક-આકૃતિ શૈલી અપનાવવાની દરખાસ્ત કરવામાં આવી છે. પી. લે ગ્યુર્નિક, એ. બેનવેનિસ્ટ અને ટી. ગૌટિયર ભાષાની વ્યાખ્યાના પ્રભારી રહ્યા છે. SIGNAL પરનું પ્રથમ પેપર 1982 માં પ્રકાશિત થયું હતું, જ્યારે SIGNAL નું પ્રથમ સંપૂર્ણ વર્ણન ટી. ગૌટિયરના પીએચડી થીસીસમાં દેખાયું હતું. Z/3z (ઉપર [-1,0,1]) દ્વારા SIGNAL ની પ્રતીકાત્મક રજૂઆત 1986 માં રજૂ કરવામાં આવી છે. બુલિયન ઘડિયાળોના પદાનુક્રમ પર ઘડિયાળની ગણતરી પર આધારિત SIGNALનું સંપૂર્ણ સંકલન એલ. બેસનાર્ડ દ્વારા 1992માં તેમના પીએચડી થીસીસમાં વર્ણવવામાં આવ્યું હતું. ઘડિયાળની ગણતરીમાં પાછળથી ટી. અમાગ્બેગનન દ્વારા આર્બોરેસન્ટ કેનોનિકલ સ્વરૂપોની દરખાસ્ત સાથે સુધારો કરવામાં આવ્યો છે. 1990 ના દાયકા દરમિયાન, SIGNAL ભાષાના એપ્લિકેશન ડોમેનને સામાન્ય એમ્બેડેડ અને રીઅલ-ટાઇમ સિસ્ટમ્સમાં વિસ્તૃત કરવામાં આવ્યું છે. સંબંધ-લક્ષી સ્પષ્ટીકરણ શૈલીએ પ્રણાલીઓના વધતા બાંધકામને સક્ષમ બનાવ્યું, અને એસ્ટરેલ અને લસ્ટરના મૂળ એક-ઘડિયાળ-આધારિત અમલીકરણની સરખામણીમાં, બહુ-ઘડિયાળ પ્રણાલીઓને ધ્યાનમાં રાખીને ડિઝાઇન તરફ દોરી ગઈ. વધુમાં, SIGNAL માં વિતરિત એમ્બેડેડ સિસ્ટમોની રચના અને અમલીકરણને પણ ધ્યાનમાં લેવામાં આવ્યું હતું. અનુરૂપ સંશોધનમાં બી. ચેરોન દ્વારા પ્રસ્તાવિત ઓપ્ટિમાઇઝેશન પદ્ધતિઓ, બી દ્વારા વ્યાખ્યાયિત ક્લસ્ટરિંગ મોડેલ્સનો સમાવેશ થાય છે. લે ગોફ, ઓ. માફીસ દ્વારા ઔપચારિક રીતે અમૂર્ત અને અલગ સંકલન, અને પી. ઓબ્રી દ્વારા વિકસિત વિતરિત કાર્યક્રમોનું અમલીકરણ. પોલીક્રોની ટૂલસેટ પોલીક્રોની ટૂલસેટ એ વાસ્તવિક સમયની પોલીક્રોનસ ડેટા-ફ્લો લેંગ્વેજ SIGNAL પર આધારિત નિર્ણાયક/એમ્બેડેડ સિસ્ટમ્સ માટે એક ઓપન-સોર્સ ડેવલપમેન્ટ એન્વાયર્નમેન્ટ છે. તે ટોપ-ડાઉન અને બોટમ-અપ ડિઝાઇન પધ્ધતિનો ઉપયોગ કરીને ડિઝાઇન સંશોધન કરવા માટે એકીકૃત મોડેલ-સંચાલિત વાતાવરણ પ્રદાન કરે છે, જે ઔપચારિક રીતે ડિઝાઇન મોડેલ પરિવર્તન દ્વારા સ્પષ્ટીકરણથી અમલીકરણ અને સુમેળથી અસિંક્રોનીમાં સમર્થિત છે. તેને વિવિધ ઇનપુટ ઔપચારિકતાઓ અને આઉટપુટ ભાષાઓ સાથે વિજાતીય ડિઝાઇન પ્રણાલીઓમાં સામેલ કરી શકાય છે. પોલીક્રોની એ સાધનોનો સમૂહ છેઃ એક સિગ્નલ બેચ કમ્પાઇલર એક ગ્રાફિકલ યુઝર ઇન્ટરફેસ (સંકલન કાર્યાત્મકતા માટે સંપાદક + ઇન્ટરેક્ટિવ એક્સેસ) સિગાલી ટૂલ, ઔપચારિક ચકાસણી અને નિયંત્રક સંશ્લેષણ માટે સંકળાયેલ ઔપચારિક સિસ્ટમ છે. સિગાલીને INRIA વર્ટેક પ્રોજેક્ટ સાથે મળીને વિકસાવવામાં આવી છે. એસ. એમ. ઈ. વાતાવરણ એસ. એમ. ઈ. (સિગ્નલ મેટા અંડર એક્લિપ્સ) વાતાવરણ એ મોડલ-ડ્રિવેન એન્જિનિયરિંગ (એમ. ડી. ઈ.) તકનીકો પર આધારિત એક્લિપ્સ વાતાવરણમાં પોલીક્રોનીનું ફ્રન્ટ-એન્ડ છે. તેમાં એક્લિપ્સ પ્લગ-ઇન્સનો સમૂહ હોય છે જે એક્લિપ્સ મોડેલિંગ ફ્રેમવર્ક (ઇ. એમ. એફ.) પર આધાર રાખે છે. પર્યાવરણ SME ની આસપાસ બાંધવામાં આવ્યું છે, જે મોડ ઓટોમેટા વિભાવનાઓ સાથે વિસ્તૃત SIGNAL ભાષાનું મેટામોડેલ છે. એસ. એમ. ઈ. વાતાવરણ કેટલાક પ્લગ-ઇન્સથી બનેલું છે જે આને અનુરૂપ છેઃ એક પ્રતિબિંબીત સંપાદકઃ એક વૃક્ષ દૃશ્ય જે મોડેલોને હેરફેર કરવાની મંજૂરી આપે છે તે એસ. એમ. ઈ. મેટામોડેલને અનુરૂપ છે. ટોપકેસ્ડ મોડેલિંગ સુવિધાઓ પર આધારિત ગ્રાફિકલ મોડલર (સીએફ. પહેલાનું ચિત્ર). સંકલન દૃશ્યો બનાવવા માટે એક પ્રતિબિંબીત સંપાદક અને ગ્રહણ દૃશ્ય. પોલીક્રોની સેવાઓ (સંકલન, ઔપચારિક ચકાસણી, વગેરે) સાથે સીધું જોડાણ. દસ્તાવેજીકરણ અને નમૂના ઉદાહરણો. આ પણ જુઓ એસ્ટેરેલ લસ્ટર (પ્રોગ્રામિંગ લેંગ્વેજ) સિંક્રોનસ પ્રોગ્રામિંગ લેંગ્વેજ ડેટાફ્લો પ્રોગ્રામિંગ લેંગ્વેજ વૈશ્વિક સ્તરે સ્થાનિક રીતે સિંક્રોનસ ઔપચારિક ચકાસણી મોડેલ પ્રોગ્રામિંગ લેંગ્વેજોના ઔપચારિક શબ્દાર્થની તપાસ AADL સિમુલિંક એવિઓનિક્સ સિસ્ટમ ડિઝાઇન એસિંક્રોની (કમ્પ્યુટર પ્રોગ્રામિંગ) નોંધો અને સંદર્ભો બાહ્ય લિંક્સ INRIA/IRISA એસ્પ્રેસો ટીમ પોલીક્રોની ટૂલસેટ SIGNAL (પોલીક્રોનીની સત્તાવાર વેબસાઇટ) બેકઅપ લિંક સિંક્રોન લેબ (સિંક્રોનસ લેંગ્વેજ લસ્ટર) એસ્ટેરેલ (સિંક્રોનસ લેંગ્વેજ એસ્ટેરેલ) ઘોષણાત્મક પ્રોગ્રામિંગ લેંગ્વેજ સિંક્રોનસ પ્રોગ્રામિંગ લેંગ્વેજ હાર્ડવેર વર્ણન ભાષાઓ ઔપચારિક પદ્ધતિઓ સોફ્ટવેર મોડેલિંગ લેંગ્વેજ