SIGNAL (programming language)
सिगनल एक प्रोग्रामिंग भाषा है जो सिंक्रोनाइज़्ड डेटा-फ्लो (फ्लो + सिंक्रोनाइज़ेशन) पर आधारित हैः एक प्रक्रिया प्राथमिक प्रवाह पर समीकरणों का एक समूह है जो डेटा और नियंत्रण दोनों का वर्णन करती है। एस. आई. जी. एन. ए. एल. औपचारिक मॉडल कई घड़ियों (पॉलीक्रोनस सिस्टम) वाली प्रणालियों को संबंधपरक विनिर्देशों के रूप में वर्णित करने की क्षमता प्रदान करता है। संबंध आंशिक विनिर्देशों और गैर-निर्धारक उपकरणों (उदाहरण के लिए एक गैर-निर्धारक बस) या बाहरी प्रक्रियाओं (उदाहरण के लिए एक असुरक्षित कार चालक) के विनिर्देशों के रूप में उपयोगी हैं। एस. आई. जी. एन. ए. एल. का उपयोग किसी को एक अनुप्रयोग को निर्दिष्ट करने, एक वास्तुकला को डिजाइन करने, विस्तृत घटकों को आर. टी. ओ. एस. या हार्डवेयर विवरण तक परिष्कृत करने की अनुमति देता है। एस. आई. जी. एन. ए. एल. मॉडल एक डिजाइन पद्धति का समर्थन करता है जो विनिर्देश से लेकर कार्यान्वयन तक, अमूर्तता से लेकर ठोसकरण तक, समकालिकता से लेकर अतुल्यकालिकता तक जाता है। SIGNAL को मुख्य रूप से 1980 के दशक से INRIAEspresso टीम में विकसित किया गया है, उसी समय समान प्रोग्रामिंग भाषाओं, एस्टेरेल और लस्टर के रूप में। एक संक्षिप्त इतिहास संकेत भाषा को पहली बार 1980 के दशक की शुरुआत में संकेत प्रसंस्करण अनुप्रयोगों के लिए डिज़ाइन किया गया था। यह संकेत प्रसंस्करण अनुप्रयोगों के डिजाइन के लिए नई डोमेन-विशिष्ट भाषा की मांग का जवाब देने के लिए प्रस्तावित किया गया है, जिसमें सरणी और स्लाइडिंग विंडो ऑपरेटरों के साथ डेटाफ़्लो और ब्लॉक-आरेख शैली को अपनाया गया है। पी. ले गुएर्निक, ए. बेनवेनिस्ट और टी. गौटियर भाषा की परिभाषा के प्रभारी रहे हैं। सिगनल पर पहला पेपर 1982 में प्रकाशित हुआ था, जबकि सिगनल का पहला पूरा विवरण टी. गौटियर के पीएचडी थीसिस में प्रकाशित हुआ था। Z/3z (ओवर [-1,0,1]) के माध्यम से SIGNAL का प्रतीकात्मक प्रतिनिधित्व 1986 में पेश किया गया है। बूलियन घड़ियों के पदानुक्रम पर घड़ी गणना पर आधारित सिगनल के एक पूर्ण संकलक का वर्णन एल. बेसनार्ड ने 1992 में अपनी पीएचडी थीसिस में किया था। घड़ी के कलन में बाद में टी. अमाग्बेगनन द्वारा आर्बोरेसेंट कैनॉनिकल रूपों के प्रस्ताव के साथ सुधार किया गया है। 1990 के दशक के दौरान, संकेत भाषा के अनुप्रयोग क्षेत्र को सामान्य अंतःस्थापित और वास्तविक-समय प्रणालियों में विस्तारित किया गया है। संबंध-उन्मुख विनिर्देशन शैली ने प्रणालियों के बढ़ते निर्माण को सक्षम बनाया, और एस्टेरेल और लस्टर के मूल एकल-घड़ी-आधारित कार्यान्वयन की तुलना में बहु-घड़ी प्रणालियों पर विचार करते हुए डिजाइन को भी प्रेरित किया। इसके अलावा, वितरित अंतःस्थापित प्रणालियों के डिजाइन और कार्यान्वयन को भी संकेत में ध्यान में रखा गया था। संबंधित शोध में बी. चेरोन द्वारा प्रस्तावित अनुकूलन विधियाँ, बी. द्वारा परिभाषित क्लस्टरिंग मॉडल शामिल हैं। ले गोफ, ओ. मैफिस द्वारा औपचारिक रूप से अमूर्त और अलग संकलन, और पी. ऑब्री द्वारा विकसित वितरित कार्यक्रमों का कार्यान्वयन। पॉलीक्रॉनी टूलसेट पॉलीक्रॉनी टूलसेट एक वास्तविक समय की पॉलीक्रोनस डेटा-फ्लो भाषा, सिग्नल पर आधारित महत्वपूर्ण/अंतर्निहित प्रणालियों के लिए एक मुक्त-स्रोत विकास वातावरण है। यह टॉप-डाउन और बॉटम-अप डिजाइन पद्धतियों का उपयोग करके डिजाइन अन्वेषण करने के लिए एक एकीकृत मॉडल-संचालित वातावरण प्रदान करता है जो औपचारिक रूप से विनिर्देश से कार्यान्वयन और समकालिकता से अतुल्यकालिकता तक डिजाइन मॉडल परिवर्तनों द्वारा समर्थित है। इसे विभिन्न इनपुट औपचारिकताओं और आउटपुट भाषाओं के साथ विषम डिजाइन प्रणालियों में शामिल किया जा सकता है। पॉलीक्रॉनी उपकरणों का एक समूह है जो निम्नलिखित से बना हैः एक सिग्नल बैच संकलक एक ग्राफिकल यूजर इंटरफेस (संकलन कार्यात्मकताओं के लिए संपादक + संवादात्मक पहुंच) सिगली उपकरण, औपचारिक सत्यापन और नियंत्रक संश्लेषण के लिए एक संबद्ध औपचारिक प्रणाली। सिगाली को आईएनआरआईए वर्टेक परियोजना के साथ मिलकर विकसित किया गया है। एस. एम. ई. वातावरण एस. एम. ई. (सिगनल मेटा अंडर एक्लिप्स) वातावरण मॉडल-ड्रिवेन इंजीनियरिंग (एम. डी. ई.) प्रौद्योगिकियों पर आधारित एक्लिप्स वातावरण में पॉलीक्रॉनी का एक फ्रंट-एंड है। इसमें एक्लिप्स प्लग-इन का एक समूह होता है जो एक्लिप्स मॉडलिंग फ्रेमवर्क (ई. एम. एफ.) पर निर्भर करता है। पर्यावरण एस. एम. ई. के इर्द-गिर्द बनाया गया है, जो मोड ऑटोमेटा अवधारणाओं के साथ विस्तारित संकेत भाषा का एक मेटामॉडल है। एस. एम. ई. वातावरण कई प्लग-इन से बना है जो इसके अनुरूप हैः एक रिफ्लेक्सिव संपादकः एक वृक्ष दृश्य जो मॉडल में हेरफेर करने की अनुमति देता है, एस. एम. ई. मेटामॉडल के अनुरूप है। टॉपकेस्ड मॉडलिंग सुविधाओं पर आधारित एक ग्राफिकल मॉडलर (सी. एफ. पिछली तस्वीर)। संकलन परिदृश्य बनाने के लिए एक प्रतिवर्त संपादक और एक ग्रहण दृश्य। पॉलीक्रॉनी सेवाओं (संकलन, औपचारिक सत्यापन, आदि) के लिए एक सीधा संबंध। एक प्रलेखन और मॉडल उदाहरण। एस्टेरेल लस्टर (प्रोग्रामिंग भाषा) सिंक्रोनस प्रोग्रामिंग लैंग्वेज डेटाफ्लो प्रोग्रामिंग लैंग्वेज वैश्विक रूप से स्थानीय रूप से सिंक्रोनस औपचारिक सत्यापन मॉडल प्रोग्रामिंग भाषाओं के औपचारिक शब्दार्थ की जांच करता है ए. ए. डी. एल. सिमुलिंक एवियोनिक्स सिस्टम डिज़ाइन एसिंक्रोनी (कंप्यूटर प्रोग्रामिंग) नोट्स और संदर्भ बाहरी लिंक आई. एन. आर. आई. ए./आई. आर. आई. एस. ए. एस्प्रेसो टीम पॉलीक्रोनी टूलसेट सिगनल (पॉलीक्रोनी की आधिकारिक वेबसाइट) बैकअप लिंक सिंक्रोन लैब (सिंक्रोनस भाषा लस्टर) एस्टेरेल (सिंक्रोनस भाषा एस्टेरेल) घोषणात्मक प्रोग्रामिंग भाषाएं सिंक्रोनस प्रोग्रामिंग भाषाएं हार्डवेयर विवरण भाषाएं औपचारिक तरीके सॉफ्टवेयर मॉडलिंग भाषा